Knowledge Interchange Format was created to serve as a syntax for first order logic that is easy for computers to process. It was intended as an interlingua, rather than a format for human authoring of knowledge, but it has since been more often used for that latter purpose. It was originally created by Mike Genesereth and others participating in the DARPA Knowledge Sharing Project. There have been a number of versions of KIF.

Although the original KIF group intended to submit to a formal standards body, that did not occur. A later version called Simplified Common Logic has since been developed for submission to ISO. SCL has been created with participating from some of the original KIF developers, and led by Mike Gruninger at NIST. A variant called SUO-KIF is the language in which the Suggested Upper Merged Ontology is written.

External links

DARPA Knowledge Sharing Project (http://www-ksl.stanford.edu/knowledge-sharing/)

Suggested Upper Merged Ontology (http://www.ontologyportal.org)

Common Logic (http://philebus.tamu.edu/cl/)