TreeView Knowledge Base Browser - JointForcesSpecialOperationsCommander

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

JointForcesSpecialOperationsCommander

Sigma KEE - JointForcesSpecialOperationsCommander

JointForcesSpecialOperationsCommander(joint forces special operations commander)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 435-444
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 432-432	Joint forces special operations commander is an instance of position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 433-433	Joint forces special operations 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 31711-31711
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31710-31710
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 691-691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31709-31709

consequent

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

MilitaryPersons.kif 446-451

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 special operations forces,
then joint forces special operations 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