To: | "Patrick J. Hayes" <phayes@xxxxxxx>, "John F. Sowa" <sowa@xxxxxxxxxxx> |
---|---|
Cc: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, KR-language <kr-language@xxxxxxxxxxxxxxx>, "Richard S. Latimer" <rslatimer@xxxxxxx> |
From: | "Richard H. McCullough" <rhmccullough@xxxxxxxxx> |
Date: | Sun, 13 Apr 2014 09:06:08 -0700 |
Message-id: | <COL129-W6579F9B3CED37B5717729DCB560@xxxxxxx> |
_________________________________________________________________ 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 (01) |
<Prev in Thread] | Current Thread | [Next in Thread> |
---|---|---|
|
Previous by Date: | [ontolog-forum] named proposition isa logical function, Richard H. McCullough |
---|---|
Next by Date: | [ontolog-forum] concept isa logic function, Richard H. McCullough |
Previous by Thread: | [ontolog-forum] named proposition isa logical function, Richard H. McCullough |
Next by Thread: | Re: [ontolog-forum] IKL is a decent logic language, David Whitten |
Indexes: | [Date] [Thread] [Top] [All Lists] |