Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal semantics
|
| gptkbp:basedOn |
gptkb:KIF
|
| gptkbp:developedBy |
gptkb:IEEE_Standard_Upper_Ontology_Working_Group
|
| gptkbp:fullName |
gptkb:Standard_Upper_Ontology_Knowledge_Interchange_Format
|
| gptkbp:hasFeature |
machine-readable
human-readable |
| gptkbp:hasSubgroup |
gptkb:KIF
|
| gptkbp:hasSyntax |
gptkb:first-order_logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
SUO-KIF
|
| gptkbp:purpose |
standardization of ontology exchange
|
| gptkbp:relatedTo |
gptkb:dictionary
gptkb:SUMO |
| gptkbp:supports |
formal semantics
logical inference |
| gptkbp:usedFor |
gptkb:artificial_intelligence
gptkb:knowledge_representation ontology interchange |
| gptkbp:bfsParent |
gptkb:SUMO
|
| gptkbp:bfsLayer |
5
|