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	物理は CounterTerrorism の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは物理の agent では %n enemy エンティティー and エンティティーエンティティーは Terrorism の subclass では %n エンティティーはエンティティーの instance では %n エンティティーはエンティティーの agent では %n 物理はエンティティーの出来事を prevents %n{ない} の目的 %n{ない}
(subclass Terrorism ViolentContest)	MilitaryProcesses.kif 2092-2092	Terrorism は激しいコンテストの subclass では %n