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
|