ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] CLIF as a sorted logic?

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Date: Tue, 3 Aug 2010 11:29:06 -0400
Message-id: <0111C34BD897FD41841D60396F2AD3D304CEAAF4A2@xxxxxxxxxxxxxxxxx>
John, Chris,    (01)

Is this the same as guarded quantification?     (02)

Thanks,
Leo    (03)


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

<Prev in Thread] Current Thread [Next in Thread>