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 MilitaryOperation MilitaryProcess)	Military.kif 23-23	MilitaryOperation は軍事プロセスの subclass では %n
(subclass SpecialOperation MilitaryOperation)	MilitaryProcesses.kif 272-272	SpecialOperation は MilitaryOperation の subclass では %n
(subclass DirectActionActivity MilitaryOperation)	MilitaryProcesses.kif 388-388	DirectActionActivity は MilitaryOperation の subclass では %n
(subclass MilitaryAssault MilitaryOperation)	MilitaryProcesses.kif 422-422	MilitaryAssault は MilitaryOperation の subclass では %n
(subclass ReconnaissanceOperation MilitaryOperation)	MilitaryProcesses.kif 673-673	ReconnaissanceOperation は MilitaryOperation の subclass では %n
(subclass PsychologicalOperation MilitaryOperation)	MilitaryProcesses.kif 1105-1105	PsychologicalOperation は MilitaryOperation の subclass では %n
(subclass OperationPlanning MilitaryOperation)	MilitaryProcesses.kif 1521-1521	OperationPlanning は MilitaryOperation の subclass では %n
(subclass JointOperation MilitaryOperation)	MilitaryProcesses.kif 1716-1716	JointOperation は MilitaryOperation の subclass では %n
(subclass InformationOperation MilitaryOperation)	MilitaryProcesses.kif 1850-1850	InformationOperation は MilitaryOperation の subclass では %n
(subclass ForeignInternalDefense MilitaryOperation)	MilitaryProcesses.kif 1905-1905	ForeignInternalDefense は MilitaryOperation の subclass では %n
(subclass CounterOperation MilitaryOperation)	MilitaryProcesses.kif 2168-2168	CounterOperation は MilitaryOperation の subclass では %n
(subclass CivilAffairsActivity MilitaryOperation)	MilitaryProcesses.kif 2362-2362	CivilAffairsActivity は MilitaryOperation の subclass では %n
(subclass FoodDistributionOperation MilitaryOperation)	Military.kif 49-49	FoodDistributionOperation は MilitaryOperation の subclass では %n
(subclass SecurityOperation MilitaryOperation)	Military.kif 80-80	SecurityOperation は MilitaryOperation の subclass では %n

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