SubunifiedCommander
|
|
appearance as argument number 1 |
(instance SubunifiedCommander Position) | MilitaryPersons.kif 334-334 | SubunifiedCommander ist ein fall von Position %n{nicht} |
(subAttribute SubunifiedCommander MilitaryCommander) | MilitaryPersons.kif 335-335 | SubunifiedCommander ist ein teilattribut von MilitaryCommander |
appearance as argument number 2 |
(termFormat ChineseLanguage SubunifiedCommander "统一指挥官") | domainEnglishFormat.kif 55866-55866 | |
(termFormat ChineseTraditionalLanguage SubunifiedCommander "統一指揮官") | domainEnglishFormat.kif 55865-55865 | |
(termFormat EnglishLanguage SubunifiedCommander "subunified commander") | domainEnglishFormat.kif 55864-55864 |
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 |
|