TreeView Knowledge Base Browser - HeavyMachineGun

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

HeavyMachineGun

Sigma KEE - HeavyMachineGun

HeavyMachineGun(heavy machine gun)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 451-465
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6606-6606
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7047-7047
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 450-450	Heavy machine gun is a subclass of automatic gun

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 326-326	Chain gun is a subclass of heavy machine gun
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 591-591	Grenade launcher is a subclass of heavy machine gun
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 467-467	M2 browning is a subclass of heavy machine gun
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 548-548	M3M is a subclass of heavy machine gun
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 514-514	XM218 is a subclass of heavy machine gun
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27828-27828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27827-27827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27826-27826

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1821-1826	If an object is an instance of C h53 e, then there exists another object such that the other object is an instance of heavy machine gun and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1876-1878	If a military vehicle is an instance of C h46 d, then the military vehicle can carry 2 weapons of type heavy machine gun.
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 619-624	If an agent is an instance of heavyMG platoon, then there exists an object such that the object is an instance of heavy machine gun and the agent possesses the 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