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

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	HeavyMachineGun e' uma sub-classe de AutomaticGun

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 326-326	ChainGun e' uma sub-classe de HeavyMachineGun
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 591-591	GrenadeLauncher e' uma sub-classe de HeavyMachineGun
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 467-467	M2Browning e' uma sub-classe de HeavyMachineGun
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 548-548	M3M e' uma sub-classe de HeavyMachineGun
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 514-514	XM218 e' uma sub-classe de HeavyMachineGun
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	Objeto e' uma instancia de CH53E Objeto Objeto e' uma instancia de HeavyMachineGun Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1876-1878	MilitaryVehicle e' uma instancia de CH46D weaponCarryingCapability MilitaryVehicle, HeavyMachineGun and 2
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 619-624	AutonomousAgent e' uma instancia de HeavyMGPlatoon Objeto Objeto e' uma instancia de HeavyMachineGun AutonomousAgent possui Objeto

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