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 Michael Genesereth and others participating in the DARPA Knowledge Sharing Project. There have been a number of versions of KIF. In linguistics, syntax is the study of the rules, or patterned relations, that govern the way the words in a sentence come together. ... The tower of a personal computer. ...

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. The word standard has several meanings: Classically, standard referred to a flag or banner; especially, a national or other ensign carried into battle; thus standard bearer indicates the one who bears, or carries, the standard. ... As a non-regulatory agency of the United States Department of Commerce’s Technology Administration, the National Institute of Standards (NIST) develops and promotes measurement, standards, and technology to enhance productivity, facilitate trade, and improve the quality of life. ... The Suggested Upper Merged Ontology or SUMO is an upper ontology intended as a foundation ontology for a variety of computer information processing systems. ...

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/)
• KIF syntax (http://suo.ieee.org/SUO/KIF/suo-kif.html)