TreeView Knowledge Base Browser - JointForcesAirCommander

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

JointForcesAirCommander

Sigma KEE - JointForcesAirCommander

JointForcesAirCommander(joint forces air commander)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 358-366
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 356-356	Joint forces air commander is an instance of position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 357-357	Joint forces air commander is a subattribute of military commander

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31687-31687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31686-31686
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 688-688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31685-31685

consequent

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

MilitaryPersons.kif 371-376

If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of air force,
then joint forces air commander is a leader position of the other organization

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