MilitaryAircraft - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MilitaryAircraft

MilitaryAircraft(military aircraft)

military_plane, warplane

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 157-159
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1181-1181
No TPTP formula. May not be expressible in strict first order.	Military.kif 155-155	Military aircraft is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	Military.kif 156-156	Military aircraft is a subclass of military vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 174-174	Bomber is a subclass of military aircraft
No TPTP formula. May not be expressible in strict first order.	Military.kif 161-161	Fighter is a subclass of military aircraft
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37541-37541
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37540-37540
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37539-37539

consequent

No TPTP formula. May not be expressible in strict first order.

Military.kif 164-172

If a physical is an instance of fighter,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of attack and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of military aircraft

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