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	物理は CounterOperation の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは物理の agent では %n enemy エンティティー and エンティティーエンティティーは MilitaryOperation の subclass では %n エンティティーはエンティティーの instance では %n エンティティーはエンティティーの agent では %n 物理はエンティティーの出来事を prevents %n{ない} の目的 %n{ない}
(subclass CounterOperation MilitaryOperation)	MilitaryProcesses.kif 2168-2168	CounterOperation は MilitaryOperation の subclass では %n
(subclass CounterproliferationWMD CounterOperation)	MilitaryProcesses.kif 1459-1459	CounterproliferationWMD は CounterOperation の subclass では %n
(subclass CounterTerrorism CounterOperation)	MilitaryProcesses.kif 1996-1996	CounterTerrorism は CounterOperation の subclass では %n
(subclass CounterReconnaissance CounterOperation)	MilitaryProcesses.kif 2186-2186	CounterReconnaissance は CounterOperation の subclass では %n