[ontolog-forum] IKL is a decent logic language

"Richard H. McCullough" <rhmccullough@xxxxxxxxx> · 2014年4月13日 09:06:08 -0700

_________________________________________________________________
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)

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:	2014年4月13日 09:06:08 -0700
Message-id:	<COL129-W6579F9B3CED37B5717729DCB560@xxxxxxx>

<Prev in Thread]	Current Thread	[Next in Thread>
[ontolog-forum] IKL is a decent logic language, Richard H. McCullough <= Re: [ontolog-forum] IKL is a decent logic language , David Whitten [ontolog-forum] Please remove me from the mailing list , Liping Di Re: [ontolog-forum] IKL is a decent logic language , Richard H. McCullough

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]