Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OPLAN(OPLAN) |
| appearance as argument number 1 |
|
| (disjoint OPLAN CONPLAN) | MilitaryProcesses.kif 1629-1629 | OPLAN is disjoint from CONPLAN |
| (subclass OPLAN OperationPlan) | MilitaryProcesses.kif 1804-1804 | OPLAN is a subclass of operation plan |
| (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 1805-1814 | OPLAN is a subclass of operation plan |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB)) |
MilitaryProcesses.kif 1816-1822 | If X is an instance of OPLAN, X expresses Y, Y is an instance of military operation, and Z is a subprocess of Y, then X expresses Z |
| (=> (instance ?OPLAN OPLAN) (exists (?CBO) (and (instance ?CBO TPFDDFile) (containsInformation ?CBO ?OPLAN)))) |
MilitaryProcesses.kif 1824-1829 | If X is an instance of OPLAN, then there exists Y such that Y is an instance of TPFDD file and Y contains information X |
| (=> (instance ?PLAN OPLAN) (exists (?OP) (and (represents ?PLAN ?OP) (instance ?OP JointOperation)))) |
MilitaryProcesses.kif 1843-1848 | If X is an instance of OPLAN, then there exists Y such that X expresses Y and Y is an instance of joint operation |
| consequent |
|
|
| (=> (instance ?ORDER OperationOrder) (exists (?PLAN ?PLANNING) (and (instance ?PLAN OPLAN) (instance ?PLANNING OperationPlanning) (result ?PLANNING ?PLAN) (causes ?PLANNING ?ORDER) (refers ?PLAN ?ORDER)))) |
MilitaryProcesses.kif 1708-1716 | If X is an instance of operation order, then there exist Y, Z such that Y is an instance of OPLAN, Z is an instance of operation planning, Y is a result of Z, Z causes X, and Y includes a reference to X |
| (=> (and (instance ?PLANNING JointOperationPlanning) (result ?PLANNING ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OPLAN)) |
MilitaryProcesses.kif 1834-1840 | If X is an instance of joint operation planning, Y is a result of X, Y is an instance of content bearing object, and Y contains information Z, then Z is an instance of OPLAN |
|