Re: [ontolog-forum] Parsing KIF?

["John A. Bateman" <bateman@xxxxxxxxxxxxx>]

We also have a full translation of SUMO (+MILO I think)
in the first order algebraic specification language
CASL if anyone wants it (and if Adam allows it: I
guess this would be subject to some kind of
copyright restriction as a direct translation).    (01)

CASL is processed with Hets and through Hets with
reasoners/theorem provers such as Isabelle and
SPASS.    (02)

John B.    (03)


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (04)