Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| JointForcesMaritimeCommander(joint forces maritime commander) |
| appearance as argument number 1 |
|
| (instance JointForcesMaritimeCommander Position) | MilitaryPersons.kif 414-414 | Joint forces maritime commander is an instance of position |
| (subAttribute JointForcesMaritimeCommander MilitaryCommander) | MilitaryPersons.kif 415-415 | Joint forces maritime commander is a subattribute of military commander |
| (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 417-426 | Joint forces maritime commander is a subattribute of military commander |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage JointForcesMaritimeCommander "Joint Forces Maritime Commander") | MilitaryPersons.kif 707-707 | |
| (termFormat EnglishLanguage JointForcesMaritimeCommander "joint forces maritime commander") | domainEnglishFormat.kif 31707-31707 | |
| (termFormat ChineseTraditionalLanguage JointForcesMaritimeCommander "聯合部隊海上指揮官") | domainEnglishFormat.kif 31708-31708 | |
| (termFormat ChineseLanguage JointForcesMaritimeCommander "联合部队海上指挥官") | domainEnglishFormat.kif 31709-31709 |
| consequent |
|
|
| (=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 NavyBranchOfService)) (leaderPosition ?FORCE1 JointForcesMaritimeCommander)) |
MilitaryPersons.kif 431-436 | If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of navy branch of service, then joint forces maritime commander is a leader position of Y |
| (=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 CoastGuard)) (leaderPosition ?FORCE1 JointForcesMaritimeCommander)) |
MilitaryPersons.kif 439-444 | If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of coast guard, then joint forces maritime commander is a leader position of Y |
|