TreeView Knowledge Base Browser - Harrier2

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 1134-1134
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 27477-27477
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27476-27476
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 27475-27475

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 %is weapon carrying capability GAU12U for 1 and the military vehicle %is weapon carrying capability AG m65 for 7 and the military vehicle %is weapon carrying capability AI m9 for 4

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