TreeView Knowledge Base Browser - M2Browning

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - M2Browning

M2Browning(m2 browning)

Browning_machine_gun, Peacemaker

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 497-498	12.7 Millimeter(s) is a caliber of m2 browning
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 468-493
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1168-1168
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 467-467	M2 browning is a subclass of heavy machine gun

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 515-515	XM218 is internally related to m2 browning
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35423-35423
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35422-35422
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2047-2047
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35421-35421

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 509-512	If a device is an instance of m2 browning, then 2.0 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 502-505	If a self connected object is an instance of m2 browning, then 38.0 kilogram(s) is a weight of the self connected object

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1678-1682	If a military vehicle is an instance of Amphibious Assault Vehicle, then the military vehicle can carry 1 weapons of type m2 browning. and the military vehicle can carry 1 weapons of type Mk19.
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1692-1697	If an object is an instance of Amphibious Assault Vehicle, then there exists another object such that the other object is an instance of m2 browning and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1977-1982	If a military vehicle is an instance of LCAC, then the military vehicle can carry 2 weapons of type m2 browning. and the military vehicle can carry 2 weapons of type m60. and the military vehicle can carry 2 weapons of type Mk19.

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