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	例 Physical and 反操作有目的 Physical and entity entity, entity and entity agent Physical and entity enemy entity and entity 子類 entity and 軍事行動例 entity and entity agent entity and entity 防止 Physical and entity
(subclass MilitaryOperation MilitaryProcess)	Military.kif 23-23	子類軍事行動 and MilitaryProcess
(subclass SpecialOperation MilitaryOperation)	MilitaryProcesses.kif 272-272	子類特別行動 and 軍事行動
(subclass DirectActionActivity MilitaryOperation)	MilitaryProcesses.kif 388-388	子類直接行動活動 and 軍事行動
(subclass MilitaryAssault MilitaryOperation)	MilitaryProcesses.kif 422-422	子類軍事攻擊 and 軍事行動
(subclass ReconnaissanceOperation MilitaryOperation)	MilitaryProcesses.kif 673-673	子類 ReconnaissanceOperation and 軍事行動
(subclass PsychologicalOperation MilitaryOperation)	MilitaryProcesses.kif 1105-1105	子類心理操作 and 軍事行動
(subclass OperationPlanning MilitaryOperation)	MilitaryProcesses.kif 1521-1521	子類運營計劃 and 軍事行動
(subclass JointOperation MilitaryOperation)	MilitaryProcesses.kif 1716-1716	子類聯合行動 and 軍事行動
(subclass InformationOperation MilitaryOperation)	MilitaryProcesses.kif 1850-1850	子類信息操作 and 軍事行動
(subclass ForeignInternalDefense MilitaryOperation)	MilitaryProcesses.kif 1905-1905	子類外國內部防禦 and 軍事行動
(subclass CounterOperation MilitaryOperation)	MilitaryProcesses.kif 2168-2168	子類反操作 and 軍事行動
(subclass CivilAffairsActivity MilitaryOperation)	MilitaryProcesses.kif 2362-2362	子類民政活動 and 軍事行動
(subclass FoodDistributionOperation MilitaryOperation)	Military.kif 49-49	子類食品配送業務 and 軍事行動
(subclass SecurityOperation MilitaryOperation)	Military.kif 80-80	子類安全行動 and 軍事行動

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