Sigma KB Term Intersection

(=> (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	Entit�Concreta è un' istanza di CounterTerrorism Entit�Concreta ha scopo Entit� Entit�, Entit� and Entit� Entit�Concreta è un agente di Entit� enemy Entit� and Entit� Entit� è una sottoclasse di Terrorism Entit� è un' istanza di Entit� Entit� è un agente di Entit� Entit�Concreta impedisce l'occorrenza di Entit�
(subclass CounterTerrorism CounterOperation)	MilitaryProcesses.kif 1996-1996	CounterTerrorism è una sottoclasse di CounterOperation
(subclass CTIntelligenceOperation CounterTerrorism)	MilitaryProcesses.kif 2044-2044	CTIntelligenceOperation è una sottoclasse di CounterTerrorism
(subclass CTNwInfraAttack CounterTerrorism)	MilitaryProcesses.kif 2052-2052	CTNwInfraAttack è una sottoclasse di CounterTerrorism
(subclass CTHostageMaterielRecovery CounterTerrorism)	MilitaryProcesses.kif 2060-2060	CTHostageMaterielRecovery è una sottoclasse di CounterTerrorism
(subclass CTNonKineticActivity CounterTerrorism)	MilitaryProcesses.kif 2069-2069	CTNonKineticActivity è una sottoclasse di CounterTerrorism