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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gun

Sigma KEE - Gun
Gun(gun)
Thompson_submachine_gun, Tommy_gun, Uzi, air_gun, air_rifle, airgun, breechloader, gas_gun, gun, gun_pendulum, light_arm, minute_gun, set_gun, spring_gun, submachine_gun

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1553-1553
No TPTP formula. May not be expressible in strict first order. pictureList.kif 106-106
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1552-1552 Gun is exhaustively partitioned into artillery gun and firearm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1551-1551 Gun is a subclass of projectile launcher
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1550-1550 Gun is a subclass of weapon

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2009-2009 Artillery gun is a subclass of gun
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1976-1976 Automatic gun is a subclass of gun
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2013-2013 Firearm is a subclass of gun
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27076-27076
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27075-27075
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27074-27074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1750-1750 A gun trigger is typically a part of a gun
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1751-1751 A gun typically has a part gun trigger

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 211-211 The number 1 argument of caliber is a subclass of gun

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1625-1637
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1798-1813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1780-1794
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1555-1557

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1574-1582
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1618-1623
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1559-1566
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1819-1824


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