Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryInstallation
MilitaryInstallation(軍事裝置)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15727-15728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15726-15726 子類 軍事裝置 and 軍事人工品
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24595-24595 子類 軍事裝置 and PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15725-15725 子類 軍事裝置 and StationaryArtifact

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37649-37649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37648-37648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37647-37647


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners