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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtilleryGun

Sigma KEE - ArtilleryGun
ArtilleryGun(artillery gun)
ack-ack, ack-ack_gun, antiaircraft, antiaircraft_gun, artillery, culverin, flack, flak, gun, heavy_weapon, ordnance, pom-pom

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1600-1601
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1037-1037
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1599-1599 Artillery gun is a subclass of gun

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1162-1162 Gun is exhaustively partitioned into artillery gun and firearm
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 171-171 Artillery cannon is a subclass of artillery gun
No TPTP formula. May not be expressible in strict first order. Military.kif 147-147 Military tank is a subclass of artillery gun
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1178-1178 Mortar gun is a subclass of artillery gun
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8544-8544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8543-8543
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8542-8542


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

Show without tree


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