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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Firearm
Firearm(firearm)
firearm, piece, riot_gun, small-arm, smoothbore

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1605-1606
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1114-1114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1604-1604 Firearm is exhaustively partitioned into rifle and pistol
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1603-1603 Firearm 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 1612-1612 Pistol is a subclass of firearm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1608-1608 Rifle is a subclass of firearm
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23912-23912
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23911-23911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23910-23910

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


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

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


No TPTP formula. May not be expressible in strict first order. Military.kif 676-685


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