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	Entit�Concreta è un' istanza di CounterOperation Entit�Concreta ha scopo Entit� Entit�, Entit� and Entit� Entit�Concreta è un agente di Entit� enemy Entit� and Entit� Entit� è una sottoclasse di MilitaryOperation Entit� è un' istanza di Entit� Entit� è un agente di Entit� Entit�Concreta impedisce l'occorrenza di Entit�
(subclass MilitaryOperation MilitaryProcess)	Military.kif 23-23	MilitaryOperation è una sottoclasse di ProcessoMilitare
(subclass SpecialOperation MilitaryOperation)	MilitaryProcesses.kif 272-272	SpecialOperation è una sottoclasse di MilitaryOperation
(subclass DirectActionActivity MilitaryOperation)	MilitaryProcesses.kif 388-388	DirectActionActivity è una sottoclasse di MilitaryOperation
(subclass MilitaryAssault MilitaryOperation)	MilitaryProcesses.kif 422-422	MilitaryAssault è una sottoclasse di MilitaryOperation
(subclass ReconnaissanceOperation MilitaryOperation)	MilitaryProcesses.kif 673-673	ReconnaissanceOperation è una sottoclasse di MilitaryOperation
(subclass PsychologicalOperation MilitaryOperation)	MilitaryProcesses.kif 1105-1105	PsychologicalOperation è una sottoclasse di MilitaryOperation
(subclass OperationPlanning MilitaryOperation)	MilitaryProcesses.kif 1521-1521	OperationPlanning è una sottoclasse di MilitaryOperation
(subclass JointOperation MilitaryOperation)	MilitaryProcesses.kif 1716-1716	JointOperation è una sottoclasse di MilitaryOperation
(subclass InformationOperation MilitaryOperation)	MilitaryProcesses.kif 1850-1850	InformationOperation è una sottoclasse di MilitaryOperation
(subclass ForeignInternalDefense MilitaryOperation)	MilitaryProcesses.kif 1905-1905	ForeignInternalDefense è una sottoclasse di MilitaryOperation
(subclass CounterOperation MilitaryOperation)	MilitaryProcesses.kif 2168-2168	CounterOperation è una sottoclasse di MilitaryOperation
(subclass CivilAffairsActivity MilitaryOperation)	MilitaryProcesses.kif 2362-2362	CivilAffairsActivity è una sottoclasse di MilitaryOperation
(subclass FoodDistributionOperation MilitaryOperation)	Military.kif 49-49	FoodDistributionOperation è una sottoclasse di MilitaryOperation
(subclass SecurityOperation MilitaryOperation)	Military.kif 80-80	SecurityOperation è una sottoclasse di MilitaryOperation

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