| (=> (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 |
| (subclass CounterproliferationWMD CounterOperation) | MilitaryProcesses.kif 1459-1459 | 反扩散 是 反操作 的 subclass |
| (subclass CounterTerrorism CounterOperation) | MilitaryProcesses.kif 1996-1996 | 反恐 是 反操作 的 subclass |
| (subclass CounterReconnaissance CounterOperation) | MilitaryProcesses.kif 2186-2186 | 反侦察 是 反操作 的 subclass |
|
|