Knowledge Interchange Format (KIF)

GPTKB entity

Predicate	Object
gptkbp:instanceOf	knowledge representation language
gptkbp:abbreviation	gptkb:KIF
gptkbp:basedOn	gptkb:first-order_logic
gptkbp:category	gptkb:artificial_intelligence gptkb:knowledge_representation logic programming
gptkbp:developedBy	gptkb:Richard_Fikes gptkb:Michael_Genesereth gptkb:Pat_Hayes
gptkbp:fileExtension	.kif
gptkbp:firstAppearance	1991
https://www.w3.org/2000/01/rdf-schema#label	Knowledge Interchange Format (KIF)
gptkbp:influenced	gptkb:Common_Logic gptkb:CycL gptkb:Ontology_Inference_Layer_(OIL)
gptkbp:languageOfName	declarative
gptkbp:notableFeature	machine-readable expressive syntax human-readable supports higher-order logic
gptkbp:purpose	exchange of knowledge among disparate computer programs
gptkbp:standardizedBy	gptkb:ANSI_X3H4.2_(proposed)
gptkbp:supports	objects definitions functions relations non-monotonic reasoning meta-knowledge
gptkbp:symbol	logic-based
gptkbp:usedIn	gptkb:artificial_intelligence semantic web knowledge engineering
gptkbp:website	https://logic.stanford.edu/kif/kif.html
gptkbp:bfsParent	gptkb:Richard_Fikes
gptkbp:bfsLayer	5