TreeView Knowledge Base Browser - CH53E

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 1072-1072
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 13977-13977
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13976-13976
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13975-13975
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 %is weapon carrying capability M3M for 1 and the military vehicle %is weapon carrying capability XM218 for 2

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