| (=> (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 | |
| (subclass CounterOperation MilitaryOperation) | MilitaryProcesses.kif 2168-2168 | |
| (subclass CounterproliferationWMD CounterOperation) | MilitaryProcesses.kif 1459-1459 | |
| (subclass CounterTerrorism CounterOperation) | MilitaryProcesses.kif 1996-1996 | |
| (subclass CounterReconnaissance CounterOperation) | MilitaryProcesses.kif 2186-2186 |
|
|