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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JointForcesAirCommander
JointForcesAirCommander(联合部队空军司令)

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


(documentation JointForcesAirCommander 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 air forces, planning and coordinating air operations, or accomplishing such operational missions as may be assigned. The joint force air component commander is given the authority necessary to accomplish missions and tasks assigned by the establishing commander. Also called JFACC. See also joint force commander.") MilitaryPersons.kif 358-366
(instance JointForcesAirCommander Position) MilitaryPersons.kif 356-356 联合部队空军司令地位instance
(subAttribute JointForcesAirCommander MilitaryCommander) MilitaryPersons.kif 357-357 联合部队空军司令军事指挥官subAttribute

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


(termFormat ChineseLanguage JointForcesAirCommander "联合部队空军司令") domainEnglishFormat.kif 31674-31674
(termFormat ChineseTraditionalLanguage JointForcesAirCommander "聯合部隊空軍司令") domainEnglishFormat.kif 31673-31673
(termFormat EnglishLanguage JointForcesAirCommander "Joint Forces Air Commander") MilitaryPersons.kif 688-688
(termFormat EnglishLanguage JointForcesAirCommander "joint forces air commander") domainEnglishFormat.kif 31672-31672

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


(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 AirForce))
    (leaderPosition ?FORCE1 JointForcesAirCommander))
MilitaryPersons.kif 371-376


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