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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JointForcesCommander

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 联合部队指挥官地位instance
(subAttribute JointForcesCommander MilitaryCommander) MilitaryPersons.kif 345-345 联合部队指挥官军事指挥官subAttribute

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 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