CH53E - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CH53E

CH53E(C h53 e)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1770-1784
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1071-1071
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1767-1767	C h53 e is a subclass of helicopter
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1769-1769	C h53 e is a subclass of military vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1768-1768	C h53 e is a subclass of passenger vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13974-13974
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13973-13973
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13972-13972
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2089-2089

antecedent

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 1788-1800	If a self connected object is an instance of C h53 e, then the length of the self connected object is 30.2 meter(s) and the width of the self connected object is 24.1 meter(s) and the height of the self connected object is 8.46 meter(s) and 15071.0 kilogram(s) is a weight of the self connected object and 2000.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1812-1817	If a passenger vehicle is an instance of C h53 e, then 55 is a person transport capability of the passenger vehicle and 14515.0 kilogram(s) is a maximum payload capacity of the passenger vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1804-1808	If a military vehicle is an instance of C h53 e, then the military vehicle can carry 1 weapons of type M3M. and the military vehicle can carry 2 weapons of type XM218.

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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