TreeView Knowledge Base Browser - MK19

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MK19

Sigma KEE - MK19

MK19(Mk19)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 636-637	40.0 Millimeter(s) is a caliber of Mk19
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 608-632
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1187-1187
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 607-607	Mk19 is a subclass of grenade launcher

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38139-38139
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38138-38138
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2051-2051
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38137-38137

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 648-651	If a device is an instance of Mk19, then 1.6 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 641-644	If a self connected object is an instance of Mk19, then 33.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 1701-1706	If an object is an instance of Amphibious Assault Vehicle, then there exists another object such that the other object is an instance of Mk19 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.
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 628-633	If an agent is an instance of heavyMG platoon, then there exists an object such that the object is an instance of Mk19 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