Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OperationOrder(operation order) |
| appearance as argument number 1 |
|
| (subclass OperationOrder Ordering) | MilitaryProcesses.kif 1679-1679 | Operation order is a subclass of ordering |
| (documentation OperationOrder EnglishLanguage "A directive issued by a commander to subordinate commanders for the purpose of effecting the coordinated execution of an operation. Also called OPORD.") | MilitaryProcesses.kif 1680-1682 | Operation order is a subclass of ordering |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ORDER OperationOrder) (exists (?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER ?MILITARY) (and (agent ?ORDER ?SUPERIORCOMMANDER) (origin ?ORDER ?SUPERIORCOMMANDER) (destination ?ORDER ?SUBORDINATECOMMANDER) (instance ?SUPERIORCOMMANDER MilitaryCommander) (instance ?SUBORDINATECOMMANDER MilitaryCommander) (subordinatePosition ?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER) (instance ?MILITARY MilitaryForce)))) |
MilitaryProcesses.kif 1685-1695 | If X is an instance of operation order, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Y is an instance of military commander (6) Z is an instance of military commander (7) W is subordinate position Z for Y (8) W is an instance of military force |
| (=> (and (instance ?ORDER OperationOrder) (instance ?OPERATION MilitaryOperation)) (hasPurpose ?ORDER (coordinates ?ORDER ?OPERATION))) |
MilitaryProcesses.kif 1700-1705 | If X is an instance of operation order and Y is an instance of military operation, then X has the purpose X coordinates Y |
| (=> (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 |
|