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 | MilitaryOperation は 軍事プロセス の subclass では %n |
appearance as argument number 2 |
appearance as argument number 3 |
(domain AbortedMissionFn 2 MilitaryOperation) | MilitaryProcesses.kif 2431-2431 | AbortedMissionFn の数値 2 引数は MilitaryOperation の instance では %n |
(domain areaOfOperation 2 MilitaryOperation) | MilitaryProcesses.kif 1315-1315 | areaOfOperation の数値 2 引数は MilitaryOperation の instance では %n |
antecedent |
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 |