| MilitaryOperation | |
| appearance as argument number 1 |
|
|
| (documentation MilitaryOperation EnglishLanguage "A MilitaryOperation is distinguished from the broader class of MilitaryProcess in that it is planned in advance.") | Military.kif 19-21 | |
| (subclass MilitaryOperation MilitaryProcess) | Military.kif 23-23 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain AbortedMissionFn 2 MilitaryOperation) | MilitaryProcesses.kif 2431-2431 | |
| (domain areaOfOperation 2 MilitaryOperation) | MilitaryProcesses.kif 1315-1315 |
| antecedent |
|
|
| (=> (and (instance ?OP MilitaryOperation) (eventLocated ?OP ?REGION) (instance ?REGION Region)) (areaOfOperation ?REGION ?OP)) |
MilitaryProcesses.kif 1326-1331 | |
| (=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB)) |
MilitaryProcesses.kif 1794-1800 | |
| (=> (and (instance ?ORDER OperationOrder) (instance ?OPERATION MilitaryOperation)) (hasPurpose ?ORDER (coordinates ?ORDER ?OPERATION))) |
MilitaryProcesses.kif 1678-1683 | |
| (=> (and (instance ?PLAN OperationPlan) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PLAN) (instance ?OP MilitaryOperation) (result ?OP ?CBO)) (represents ?PLAN ?OP)) |
MilitaryProcesses.kif 1573-1580 | |
| (=> (instance ?MO MilitaryOperation) (exists (?PLAN) (and (instance ?PLAN Plan) (represents ?PLAN ?MO)))) |
Military.kif 25-30 |
| consequent |
|
|
| (=> (and (instance ?SHN SupportHNAssistance) (experiencer ?SHN ?HN) (instance ?HN HostNation)) (exists (?OP) (and (instance ?OP MilitaryOperation) (instance ?OP Helping) (experiencer ?OP ?HN) (patient ?SHN ?OP)))) |
MilitaryProcesses.kif 1293-1303 | |
| (=> (instance ?CO CounterOperation) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS MilitaryOperation) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2174-2184 |
|
|
|