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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JointForcesCommander
JointForcesCommander

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 JointForcesCommanderポジションinstance では %n
(subAttribute JointForcesCommander MilitaryCommander) MilitaryPersons.kif 345-345 JointForcesCommanderMilitaryCommandersubattribute では %n

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


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

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