![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
JointForcesLandCommander
|
|
|
| appearance as argument number 1 |
|
|
| (instance JointForcesLandCommander Position) | MilitaryPersons.kif 392-392 | Joint forces land commander is an instance of position |
| (subAttribute JointForcesLandCommander MilitaryCommander) | MilitaryPersons.kif 393-393 | Joint forces land commander is a subattribute of military commander |
| (documentation JointForcesLandCommander 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 land forces, planning and coordinating land operations, or accomplishing such operational missions as may be assigned. The joint force land component commander is given the authority necessary to accomplish missions and tasks assigned by the establishing commander. Also called JFLCC. See also joint force commander. ") | MilitaryPersons.kif 395-403 | Joint forces land commander is a subattribute of military commander |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage JointForcesLandCommander "Joint Forces Land Commander") | MilitaryPersons.kif 706-706 | |
| (termFormat EnglishLanguage JointForcesLandCommander "joint forces land commander") | domainEnglishFormat.kif 31701-31701 | |
| (termFormat ChineseTraditionalLanguage JointForcesLandCommander "聯合部隊陸軍指揮官") | domainEnglishFormat.kif 31702-31702 | |
| (termFormat ChineseLanguage JointForcesLandCommander "联合部队陆军指挥官") | domainEnglishFormat.kif 31703-31703 |
| consequent |
|
|
| (=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 Army)) (leaderPosition ?FORCE1 JointForcesLandCommander)) |
MilitaryPersons.kif 407-412 | If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of army, then joint forces land commander is a leader position of Y |