Sigma KB Term Intersection

(=> (instance ?CO CounterReconnaissance) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS ReconnaissanceOperation) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2193-2203	物理は CounterReconnaissance の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは物理の agent では %n enemy エンティティー and エンティティーエンティティーは ReconnaissanceOperation の subclass では %n エンティティーはエンティティーの instance では %n エンティティーはエンティティーの agent では %n 物理はエンティティーの出来事を prevents %n{ない} の目的 %n{ない}
(subclass CounterReconnaissance CounterOperation)	MilitaryProcesses.kif 2186-2186	CounterReconnaissance は CounterOperation の subclass では %n