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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JointForcesMaritimeCommander
JointForcesMaritimeCommander(joint forces maritime commander)

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


(documentation JointForcesMaritimeCommander 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 maritime forces and assets, planning and coordinating maritime operations, or accomplishing such operational missions as may be assigned. The joint force maritime component commander is given the authority necessary to accomplish missions and tasks assigned by the establishing commander. Also called JFMCC. See also joint force commander.") MilitaryPersons.kif 403-412
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 400-400 Joint forces maritime commander is an instance of position
(subAttribute JointForcesMaritimeCommander MilitaryCommander) MilitaryPersons.kif 401-401 Joint forces maritime commander is a subattribute of military commander

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


(termFormat ChineseLanguage JointForcesMaritimeCommander "联合部队海上指挥官") domainEnglishFormat.kif 31739-31739
(termFormat ChineseTraditionalLanguage JointForcesMaritimeCommander "聯合部隊海上指揮官") domainEnglishFormat.kif 31738-31738
(termFormat EnglishLanguage JointForcesMaritimeCommander "Joint Forces Maritime Commander") MilitaryPersons.kif 690-690
(termFormat EnglishLanguage JointForcesMaritimeCommander "joint forces maritime commander") domainEnglishFormat.kif 31737-31737

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


(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 CoastGuard))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))
MilitaryPersons.kif 425-430
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 NavyBranchOfService))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))
MilitaryPersons.kif 417-422


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