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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bullet
Bullet(bullet)
ammo, ammunition, ball, belt, belt_ammunition, belted_ammunition, bullet, dumdum, dumdum_bullet, full_metal_jacket, musket_ball, rifle_ball, rubber_bullet, slug

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1140-1140
No TPTP formula. May not be expressible in strict first order. pictureList.kif 301-301
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1139-1139 Bullet is a subclass of projectile

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12326-12326
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12325-12325
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12324-12324

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1141-1149
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1081-1086

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1156-1164
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1169-1179


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