![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| JointForcesSpecialOperationsCommander(joint forces special operations commander) |
| appearance as argument number 1 |
|
|
| (instance JointForcesSpecialOperationsCommander Position) | MilitaryPersons.kif 446-446 | Joint forces special operations commander is an instance of position |
| (subAttribute JointForcesSpecialOperationsCommander MilitaryCommander) | MilitaryPersons.kif 447-447 | Joint forces special operations commander is a subattribute of military commander |
| (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 449-458 | Joint forces special operations commander is a subattribute of military commander |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage JointForcesSpecialOperationsCommander "Joint Forces Special Operations Commander") | MilitaryPersons.kif 708-708 | |
| (termFormat EnglishLanguage JointForcesSpecialOperationsCommander "joint forces special operations commander") | domainEnglishFormat.kif 31713-31713 | |
| (termFormat ChineseTraditionalLanguage JointForcesSpecialOperationsCommander "聯合部隊特種作戰指揮官") | domainEnglishFormat.kif 31714-31714 | |
| (termFormat ChineseLanguage JointForcesSpecialOperationsCommander "联合部队特种作战指挥官") | domainEnglishFormat.kif 31715-31715 |
| consequent |
|
|
| (=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 SpecialOperationsForces)) (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander)) |
MilitaryPersons.kif 460-465 | If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of special operations forces, then joint forces special operations commander is a leader position of Y |