|From:||Jawit Kien <jawit.kien@xxxxxxxxx>|
|Date:||Tue, 3 Aug 2010 10:06:04 -0500|
On Mon, Aug 2, 2010 at 5:11 PM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
I am not clear where the "T" in the expansion above comes from, and what it means.
I think that
(forall (N1) (if (T1 N1) B) )
It is true that there are some things in the domain (of discourse ?)
if you bind the variable "N1" to each of these things in turn,
and you have a predicate T1 that when given each of these things
as an argument will produce either the value of true or false,
then for only those values of N1 where the predicate T1 is "true",
then the _expression_ B (presumably which may use the variable N1)
is also true.
for those values of N1 where the predicate T1 is "false", the
_expression_ B may be true or may be false.
But what role does the "T" play in this "meaning" ?
Similarly, I could explain what I think (forall (N1) (and (T1 N1) B)) means,
but I don't know what a variable "T" might mean for it as well.
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] owl2 and cycL/cycML, Ian Horrocks|
|Next by Date:||Re: [ontolog-forum] CLIF as a sorted logic?, Obrst, Leo J.|
|Previous by Thread:||Re: [ontolog-forum] CLIF as a sorted logic?, John F. Sowa|
|Next by Thread:||Re: [ontolog-forum] CLIF as a sorted logic?, Obrst, Leo J.|
|Indexes:||[Date] [Thread] [Top] [All Lists]|