JointForcesAirCommander - Sigma Knowledge base Browser

appearance as argument number 1

(instance JointForcesAirCommander Position)	MilitaryPersons.kif 370-370	Joint forces air commander is an instance of position
(subAttribute JointForcesAirCommander MilitaryCommander)	MilitaryPersons.kif 371-371	Joint forces air commander is a subattribute of military commander
(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 372-380	Joint forces air commander is a subattribute of military commander

appearance as argument number 2

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

consequent

(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 AirForce))
    (leaderPosition ?FORCE1 JointForcesAirCommander))

If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of air force, then joint forces air commander is a leader position of Y