OPLAN(OPLAN) |
appearance as argument number 1 |
(disjoint OPLAN CONPLAN) | MilitaryProcesses.kif 1607-1607 | 不相交的 OPLAN and 破產 |
(documentation OPLAN EnglishLanguage "An operation plan for the conduct of joint operations that can be used as a basis for development of an operation order (OPORD). An OPLAN identifies the forces and supplies required to execute the combatant commander's strategic concept and a movement schedule of these resources to the theater of operations. The forces and supplies are identified in TPFDD files. OPLANs will include all phases of the tasked operation. The plan is prepared with the appropriate annexes, appendixes, and TPFDD files as described in the Joint Operation Planning and Execution System manuals containing planning policies, procedures, and formats. Also called OPLAN. ") | MilitaryProcesses.kif 1783-1792 | |
(subclass OPLAN OperationPlan) | MilitaryProcesses.kif 1782-1782 | 子類 OPLAN and 運作計劃 |
appearance as argument number 2 |
(termFormat ChineseLanguage OPLAN "OPLAN") | domainEnglishFormat.kif 42320-42320 | |
(termFormat ChineseTraditionalLanguage OPLAN "OPLAN") | domainEnglishFormat.kif 42319-42319 | |
(termFormat EnglishLanguage OPLAN "OPLAN") | domainEnglishFormat.kif 42318-42318 |
antecedent |
(=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB)) |
MilitaryProcesses.kif 1794-1800 | |
(=> (instance ?OPLAN OPLAN) (exists (?CBO) (and (instance ?CBO TPFDDFile) (containsInformation ?CBO ?OPLAN)))) |
MilitaryProcesses.kif 1802-1807 |
|
(=> (instance ?PLAN OPLAN) (exists (?OP) (and (represents ?PLAN ?OP) (instance ?OP JointOperation)))) |
MilitaryProcesses.kif 1821-1826 |
consequent |
(=> (and (instance ?PLANNING JointOperationPlanning) (result ?PLANNING ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OPLAN)) |
MilitaryProcesses.kif 1812-1818 |
|
(=> (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 |