(=> (instance ?CO CounterTerrorism) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS Terrorism) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2032-2042 |
|
(subclass Terrorism ViolentContest) | MilitaryProcesses.kif 2092-2092 | Terrorism è una sottoclasse di CompetizioneViolenta |