TreeView Knowledge Base Browser - GunBarrel

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - GunBarrel

GunBarrel(gun barrel)

barrel, gun_barrel, gun_muzzle, muzzle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1218-1219
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1128-1128
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1217-1217	Gun barrel is a subclass of engineering component

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27084-27084
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27083-27083
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27082-27082

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1228-1240	If an object is an instance of gun and another object is an instance of gun barrel and the other object is a part of the object and a process is an instance of shooting and the object is an instrument for the process and an entity is a patient of the process and the entity is an instance of projectile, then there exists the processUB such that the processUB is a subprocess of the process and the other object is path along which the processUB occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1221-1226	If an object is an instance of gun barrel, then there exists another object such that the other object is an instance of gun and the object is a part of the other object

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