Knowledge Interchange Format

The Knowledge Interchange Format ( KIF ) is an exchange format that was created with the intention to share knowledge in a machine-readable format between different programs. The developers have not set the goal that the language efficiently logical conclusions can be drawn, but on the representation of knowledge as it exists among others in ontologies. KIF uses predicate logic first-order statements. His notation is LISP -based.