Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JointForcesCommander
JointForcesCommander(joint forces commander)

appearance as argument number 1
-------------------------


(documentation JointForcesCommander EnglishLanguage "A general term applied to a combatant commander, subunified commander, or joint task force commander authorized to exercise combatant command (command authority) or operational control over a joint force. Also called JFC. See also joint force.") MilitaryPersons.kif 346-350
(externalImage JointForcesCommander "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Military_officials_pose_for_photograph_prior_to_discussing_U.S._military_intervention_in_the_Persian_Gulf%2C_Dec_1990.jpg") pictureList.kif 4903-4903
(instance JointForcesCommander Position) MilitaryPersons.kif 344-344 Joint forces commander is an instance of position
(subAttribute JointForcesCommander MilitaryCommander) MilitaryPersons.kif 345-345 Joint forces commander is a subattribute of military commander

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage JointForcesCommander "联合部队指挥官") domainEnglishFormat.kif 31727-31727
(termFormat ChineseTraditionalLanguage JointForcesCommander "聯合部隊指揮官") domainEnglishFormat.kif 31726-31726
(termFormat EnglishLanguage JointForcesCommander "Joint Forces Commander") MilitaryPersons.kif 687-687
(termFormat EnglishLanguage JointForcesCommander "joint forces commander") domainEnglishFormat.kif 31725-31725

consequent
-------------------------


(=>
    (instance ?JOINT JointForces)
    (leaderPosition ?JOINT JointForcesCommander))
MilitaryPersons.kif 352-354


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