| 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] |