[Top] [All Lists]

[ontolog-forum] CLIF as a sorted logic?

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Adam Pease <adampease@xxxxxxxxxxxxx>
Date: Mon, 02 Aug 2010 11:54:57 -0700
Message-id: <1280775297.7360.55.camel@apease-15inToshiba>
Hi Folks,
  A quick CLIF question for the experts here - The CG appendix of the CL
standard appears to show typed quantification, although I don't see that
defined in the CLIF appendix.  Is there a definition for a sort syntax
that I missed?    (01)

Adam    (02)

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    (03)

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