GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Knowledge Interchange Format (KIF)
URI:
https://gptkb.org/entity/Knowledge_Interchange_Format_(KIF)
GPTKB entity
Statements (35)
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