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 4904-4904
(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 31680-31680
(termFormat ChineseTraditionalLanguage JointForcesCommander "聯合部隊指揮官") domainEnglishFormat.kif 31679-31679
(termFormat EnglishLanguage JointForcesCommander "Joint Forces Commander") MilitaryPersons.kif 687-687
(termFormat EnglishLanguage JointForcesCommander "joint forces commander") domainEnglishFormat.kif 31678-31678

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