Harrier2 - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Harrier2

Harrier2(harrier2)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1735-1740
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1133-1133
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1733-1733	Harrier2 is a subclass of jet airplane
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1734-1734	Harrier2 is a subclass of military vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1732-1732	Harrier2 is a subclass of VSTOL

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27486-27486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27485-27485
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2088-2088
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27484-27484

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1744-1756	If a self connected object is an instance of harrier2, then the length of the self connected object is 14.1 meter(s) and the width of the self connected object is 9.2 meter(s) and the height of the self connected object is 3.5 meter(s) and 5700.0 kilogram(s) is a weight of the self connected object and 1000.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 1760-1765	If a military vehicle is an instance of harrier2, then the military vehicle can carry 1 weapons of type GAU12U. and the military vehicle can carry 7 weapons of type AG m65. and the military vehicle can carry 4 weapons of type AI m9.

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