Standard Upper Ontology Knowledge Interchange Format
GPTKB entity
Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:dictionary
|
gptkbp:abbreviation |
gptkb:SUO-KIF
|
gptkbp:basedOn |
gptkb:KIF
|
gptkbp:designedFor |
gptkb:knowledge_representation
interchange of ontologies |
gptkbp:developedBy |
gptkb:IEEE_Standard_Upper_Ontology_Working_Group
|
gptkbp:documentation |
IEEE SUO Working Group documents
|
gptkbp:hasSyntax |
Lisp-like
|
https://www.w3.org/2000/01/rdf-schema#label |
Standard Upper Ontology Knowledge Interchange Format
|
gptkbp:languageOfName |
formal semantics
|
gptkbp:relatedTo |
gptkb:Common_Logic
gptkb:Cyc gptkb:OpenCyc gptkb:SUMO |
gptkbp:status |
draft
|
gptkbp:supports |
gptkb:first-order_logic
meta-knowledge |
gptkbp:usedFor |
knowledge sharing
semantic interoperability ontology exchange |
gptkbp:website |
https://suo.ieee.org/
|
gptkbp:bfsParent |
gptkb:SUO-KIF
|
gptkbp:bfsLayer |
6
|