CombatantCommander
|
|
appearance as argument number 1 |
(instance CombatantCommander Position) | MilitaryPersons.kif 332-332 | CombatantCommander ist ein fall von Position %n{nicht} |
(subAttribute CombatantCommander MilitaryCommander) | MilitaryPersons.kif 333-333 | CombatantCommander ist ein teilattribut von MilitaryCommander |
appearance as argument number 2 |
(termFormat ChineseLanguage CombatantCommander "战斗指挥官") | domainEnglishFormat.kif 15720-15720 | |
(termFormat ChineseTraditionalLanguage CombatantCommander "戰鬥指揮官") | domainEnglishFormat.kif 15719-15719 | |
(termFormat EnglishLanguage CombatantCommander "combatant commander") | domainEnglishFormat.kif 15718-15718 |
consequent |
(=> (and (instance ?PLANNING OperationPlanning) (agent ?PLANNING ?COMMANDER)) (or (and (instance ?COMMANDER CombatantCommander) (exists (?REQUEST ?CHAIRMAN) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?CHAIRMAN) (attribute ?CHAIRMAN ChairmanJCS) (causes ?REQUEST ?PLANNING)))) (and (instance ?COMMANDER SubunifiedCommander) (exists (?REQUEST ?COMMANDERSUPER ?MILITARY) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?COMMANDERSUPER) (attribute ?COMMANDERSUPER MilitaryCommander) (subordinatePosition ?MILITARY ?COMMANDER ?COMMANDERSUPER) (instance ?MILITARY MilitaryForce) (causes ?REQUEST ?PLANNING)))))) |
MilitaryProcesses.kif 1582-1604 |
|