Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: SUO: Re: SUMO / IFF


Seth,
   I've offered to Robert that if he can set IFF into SUO-KIF we'll be 
happy to host it in our browser.  The only two issues that would require 
some work that I'm aware of would be that Robert uses sorted quantifiers 
and namespace prefixes which our parser doesn't support.  However, the 
sorted quantifiers could be expressed as

(exists (?X)
   (instance ?X Foo)
   ...)

instead of

(exists (?X:Foo)
   ...)

and the $ character for namespace prefixes could just be changed to an 
underscore.

Adam

At 02:19 PM 8/29/2001 -0700, Seth Russell wrote:

>Can we get the IFF in a surfable web site like SUMO ?
>http://makeashorterlink.com/index.php?R5E522C0
>
>Seth Russell

Adam Pease
Teknowledge
(650) 424-0500 x571