Sigma KB Term Intersection

(=> (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	Entit�Concreta è un' istanza di CounterOperation Entit�Concreta ha scopo Entit� Entit�, Entit� and Entit� Entit�Concreta è un agente di Entit� enemy Entit� and Entit� Entit� è una sottoclasse di MilitaryOperation Entit� è un' istanza di Entit� Entit� è un agente di Entit� Entit�Concreta impedisce l'occorrenza di Entit�
(subclass CounterOperation MilitaryOperation)	MilitaryProcesses.kif 2168-2168	CounterOperation è una sottoclasse di MilitaryOperation
(subclass CounterproliferationWMD CounterOperation)	MilitaryProcesses.kif 1459-1459	CounterproliferationWMD è una sottoclasse di CounterOperation
(subclass CounterTerrorism CounterOperation)	MilitaryProcesses.kif 1996-1996	CounterTerrorism è una sottoclasse di CounterOperation
(subclass CounterReconnaissance CounterOperation)	MilitaryProcesses.kif 2186-2186	CounterReconnaissance è una sottoclasse di CounterOperation