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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1163-1163
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 1162-1162 Gun is exhaustively partitioned into artillery gun and firearm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1161-1161 Gun is a subclass of projectile launcher
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1160-1160 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 1599-1599 Artillery gun is a subclass of gun
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1566-1566 Automatic gun is a subclass of gun
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1603-1603 Firearm is a subclass of gun
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27078-27078
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27077-27077
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. Mid-level-ontology.kif 1365-1365 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 1366-1366 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 1235-1247
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1417-1436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1395-1413
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1165-1167

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1184-1192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1228-1233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1169-1176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1442-1447


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