| (=> (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 CounterTerrorism CounterOperation) | MilitaryProcesses.kif 1996-1996 | CounterTerrorism est une sous-classe de CounterOperation |
| (subclass CTIntelligenceOperation CounterTerrorism) | MilitaryProcesses.kif 2044-2044 | CTIntelligenceOperation est une sous-classe de CounterTerrorism |
| (subclass CTNwInfraAttack CounterTerrorism) | MilitaryProcesses.kif 2052-2052 | CTNwInfraAttack est une sous-classe de CounterTerrorism |
| (subclass CTHostageMaterielRecovery CounterTerrorism) | MilitaryProcesses.kif 2060-2060 | CTHostageMaterielRecovery est une sous-classe de CounterTerrorism |
| (subclass CTNonKineticActivity CounterTerrorism) | MilitaryProcesses.kif 2069-2069 | CTNonKineticActivity est une sous-classe de CounterTerrorism |
|
|