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	Wenn Physical ist ein fall von CounterOperation %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um Physical ist der agent von entity %n{nicht} und enemy entity and entity und entity ist eine teilkategorie von MilitaryOperation und entity ist ein fall von entity %n{nicht} und entity ist der agent von entity %n{nicht} und Physical verhindert das Auftreten von entity %n{nicht}
(subclass CounterOperation MilitaryOperation)	MilitaryProcesses.kif 2168-2168	CounterOperation ist eine teilkategorie von MilitaryOperation
(subclass CounterproliferationWMD CounterOperation)	MilitaryProcesses.kif 1459-1459	CounterproliferationWMD ist eine teilkategorie von CounterOperation
(subclass CounterTerrorism CounterOperation)	MilitaryProcesses.kif 1996-1996	CounterTerrorism ist eine teilkategorie von CounterOperation
(subclass CounterReconnaissance CounterOperation)	MilitaryProcesses.kif 2186-2186	CounterReconnaissance ist eine teilkategorie von CounterOperation