Knowledge Interchange Format
The Knowledge Interchange Format (KIF) is an exchange format that was created with the intention of being able to exchange knowledge between different programs in a machine-readable format. In doing so, the developers did not set themselves the goal of efficiently drawing logical conclusions with the language , but rather on the representation of knowledge such as is available in ontologies . KIF uses first order predicate logic for statements. Its notation is LISP- based.