OperationPlanning |
appearance as argument number 1 |
(documentation OperationPlanning EnglishLanguage "The Process of _planning_ a military operation. This involves military personell. The result of the planning process is a an _OperationPlan_") | MilitaryProcesses.kif 1523-1525 | |
(subclass OperationPlanning MilitaryOperation) | MilitaryProcesses.kif 1521-1521 | |
(subclass OperationPlanning Planning) | MilitaryProcesses.kif 1522-1522 |
appearance as argument number 2 |
(subclass JointOperationPlanning OperationPlanning) | MilitaryProcesses.kif 1762-1762 | |
(termFormat ChineseLanguage OperationPlanning "运营计划") | domainEnglishFormat.kif 42278-42278 | |
(termFormat ChineseTraditionalLanguage OperationPlanning "運營計劃") | domainEnglishFormat.kif 42277-42277 | |
(termFormat EnglishLanguage OperationPlanning "operation planning") | domainEnglishFormat.kif 42276-42276 |
antecedent |
(=> (and (instance ?EVENT OperationPlanning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OperationPlan)) |
MilitaryProcesses.kif 1527-1533 | |
(=> (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 | |
(=> (and (instance ?STRAT CounterTerrorismStrategy) (instance ?PLANNING OperationPlanning) (result ?PLANNING ?STRAT)) (exists (?CT) (and (patient ?PLANNING ?CT) (instance ?CT CounterTerrorism)))) |
MilitaryProcesses.kif 2082-2090 |
consequent |
(=> (and (instance ?PLAN OperationPlan) (containsInformation ?CBO ?PLAN) (instance ?CBO ContentBearingObject) (result ?EVENT ?CBO)) (instance ?EVENT OperationPlanning)) |
MilitaryProcesses.kif 1535-1541 | |
(=> (instance ?ORDER OperationOrder) (exists (?PLAN ?PLANNING) (and (instance ?PLAN OPLAN) (instance ?PLANNING OperationPlanning) (result ?PLANNING ?PLAN) (causes ?PLANNING ?ORDER) (refers ?PLAN ?ORDER)))) |
MilitaryProcesses.kif 1686-1694 |