Fighter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Fighter

Fighter(fighter)

attack_aircraft, fighter, fighter_aircraft, stealth_fighter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 162-163
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 427-427
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2169-2169
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2172-2172
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2170-2170
No TPTP formula. May not be expressible in strict first order.	Military.kif 161-161	Fighter is a subclass of military aircraft

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23636-23636
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23635-23635
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23634-23634

antecedent

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