Knowledge Interchange Format

Abstract

Knowle dge Inter change F ormat ?KIF? is a computer?orien ted language for the in terc hange of kno wledge among disparate programs? It has declarativ e seman tics ?i?e? the meaning of expressions in the represen tation can be understood without appeal to an in terpreter for manipulating those expressions?? it is logically comprehensiv e ?i?e? it pro vides for the expression of arbitrary sen tences in the ?rst?order predicate calculus?? it pro vides for the represen tation of kno wledge about the represen tation of kno wledge? it pro vides for the represen tation of nonmonotonic reasoning rules? and it pro vides for the de?nition of objects? functions? and relations?