Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  JointForcesCommander
|
|
|
| appearance as argument number 1 |
|
|
| (instance JointForcesCommander Position) | MilitaryPersons.kif 358-358 | Joint forces commander is an instance of position |
| (subAttribute JointForcesCommander MilitaryCommander) | MilitaryPersons.kif 359-359 | Joint forces commander is a subattribute of military commander |
| (documentation JointForcesCommander EnglishLanguage "A general term applied to a combatant commander, subunified commander, or joint task force commander authorized to exercise combatant command (command authority) or operational control over a joint force. Also called JFC. See also joint force.") | MilitaryPersons.kif 360-364 | Joint forces commander is a subattribute of military commander |
| (externalImage JointForcesCommander "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Military_officials_pose_for_photograph_prior_to_discussing_U.S._military_intervention_in_the_Persian_Gulf%2C_Dec_1990.jpg") | pictureList.kif 4902-4902 | Joint forces commander is a subattribute of military commander |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage JointForcesCommander "Joint Forces Commander") | MilitaryPersons.kif 704-704 | |
| (termFormat EnglishLanguage JointForcesCommander "joint forces commander") | domainEnglishFormat.kif 31695-31695 | |
| (termFormat ChineseTraditionalLanguage JointForcesCommander "聯合部隊指揮官") | domainEnglishFormat.kif 31696-31696 | |
| (termFormat ChineseLanguage JointForcesCommander "联合部队指挥官") | domainEnglishFormat.kif 31697-31697 |
| consequent |
|
|
| (=> (instance ?JOINT JointForces) (leaderPosition ?JOINT JointForcesCommander)) |
MilitaryPersons.kif 366-368 | If X is an instance of joint forces, then joint forces commander is a leader position of X |
|
