[ontolog-forum] CLIF as a sorted logic?

[Adam Pease <adampease@xxxxxxxxxxxxx>]

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)