Knowledge Interchange Format (KIF) Specification
GPTKB entity
Statements (17)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:technical_specification
|
gptkbp:definesSemanticsFor |
gptkb:KIF
|
gptkbp:documentType |
gptkb:technical_specification
|
gptkbp:firstPublished |
1991
|
gptkbp:hasSyntax |
gptkb:KIF
|
https://www.w3.org/2000/01/rdf-schema#label |
Knowledge Interchange Format (KIF) Specification
|
gptkbp:language |
English
|
gptkbp:latestReleaseVersion |
1998
KIF 3.0 |
gptkbp:publishedBy |
Logic Group of the ARPA Knowledge Sharing Effort
|
gptkbp:specifies |
Knowledge Interchange Format
|
gptkbp:subject |
gptkb:artificial_intelligence
gptkb:logic gptkb:knowledge_representation |
gptkbp:url |
http://logic.stanford.edu/kif/dpans.html
|
gptkbp:bfsParent |
gptkb:Michael_Genesereth
|
gptkbp:bfsLayer |
6
|