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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JointForcesSpecialOperationsCommander
JointForcesSpecialOperationsCommander(联合部队特种作战指挥官)

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


(documentation JointForcesSpecialOperationsCommander EnglishLanguage "The commander within a unified command, subordinate unified command, or joint task force responsible to the establishing commander for making recommendations on the proper employment of assigned, attached, and/ or made available for tasking special operations forces and assets; planning and coordinating special operations, or accomplishing such operational missions as may be assigned. The joint force special operations component commander is given the authority necessary to accomplish missions and tasks assigned by the establishing commander. Also called JFSOCC. See also joint force commander.") MilitaryPersons.kif 435-444
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 432-432 联合部队特种作战指挥官地位instance
(subAttribute JointForcesSpecialOperationsCommander MilitaryCommander) MilitaryPersons.kif 433-433 联合部队特种作战指挥官军事指挥官subAttribute

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


(termFormat ChineseLanguage JointForcesSpecialOperationsCommander "联合部队特种作战指挥官") domainEnglishFormat.kif 31698-31698
(termFormat ChineseTraditionalLanguage JointForcesSpecialOperationsCommander "聯合部隊特種作戰指揮官") domainEnglishFormat.kif 31697-31697
(termFormat EnglishLanguage JointForcesSpecialOperationsCommander "Joint Forces Special Operations Commander") MilitaryPersons.kif 691-691
(termFormat EnglishLanguage JointForcesSpecialOperationsCommander "joint forces special operations commander") domainEnglishFormat.kif 31696-31696

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


(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 SpecialOperationsForces))
    (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))
MilitaryPersons.kif 446-451


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