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	Wenn Physical ist ein fall von CounterTerrorism %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 Terrorism 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 CounterTerrorism CounterOperation)	MilitaryProcesses.kif 1996-1996	CounterTerrorism ist eine teilkategorie von CounterOperation
(subclass CTIntelligenceOperation CounterTerrorism)	MilitaryProcesses.kif 2044-2044	CTIntelligenceOperation ist eine teilkategorie von CounterTerrorism
(subclass CTNwInfraAttack CounterTerrorism)	MilitaryProcesses.kif 2052-2052	CTNwInfraAttack ist eine teilkategorie von CounterTerrorism
(subclass CTHostageMaterielRecovery CounterTerrorism)	MilitaryProcesses.kif 2060-2060	CTHostageMaterielRecovery ist eine teilkategorie von CounterTerrorism
(subclass CTNonKineticActivity CounterTerrorism)	MilitaryProcesses.kif 2069-2069	CTNonKineticActivity ist eine teilkategorie von CounterTerrorism

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners