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 | OperationPlanning は MilitaryOperation の subclass では %n |
(subclass OperationPlanning Planning) | MilitaryProcesses.kif 1522-1522 | OperationPlanning は 計画 の subclass では %n |
appearance as argument number 2 |
(subclass JointOperationPlanning OperationPlanning) | MilitaryProcesses.kif 1762-1762 | JointOperationPlanning は OperationPlanning の subclass では %n |
(termFormat ChineseLanguage OperationPlanning "运营计划") | domainEnglishFormat.kif 42278-42278 | |
(termFormat ChineseTraditionalLanguage OperationPlanning "運營計劃") | domainEnglishFormat.kif 42277-42277 | |
(termFormat EnglishLanguage OperationPlanning "operation planning") | domainEnglishFormat.kif 42276-42276 |
antecedent |
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 |