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	Wenn Physical ist ein fall von CounterOperation %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 MilitaryOperation 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 MilitaryOperation MilitaryProcess)	Military.kif 23-23	MilitaryOperation ist eine teilkategorie von MilitaryProcess
(subclass SpecialOperation MilitaryOperation)	MilitaryProcesses.kif 272-272	SpecialOperation ist eine teilkategorie von MilitaryOperation
(subclass DirectActionActivity MilitaryOperation)	MilitaryProcesses.kif 388-388	DirectActionActivity ist eine teilkategorie von MilitaryOperation
(subclass MilitaryAssault MilitaryOperation)	MilitaryProcesses.kif 422-422	MilitaryAssault ist eine teilkategorie von MilitaryOperation
(subclass ReconnaissanceOperation MilitaryOperation)	MilitaryProcesses.kif 673-673	ReconnaissanceOperation ist eine teilkategorie von MilitaryOperation
(subclass PsychologicalOperation MilitaryOperation)	MilitaryProcesses.kif 1105-1105	PsychologicalOperation ist eine teilkategorie von MilitaryOperation
(subclass OperationPlanning MilitaryOperation)	MilitaryProcesses.kif 1521-1521	OperationPlanning ist eine teilkategorie von MilitaryOperation
(subclass JointOperation MilitaryOperation)	MilitaryProcesses.kif 1716-1716	JointOperation ist eine teilkategorie von MilitaryOperation
(subclass InformationOperation MilitaryOperation)	MilitaryProcesses.kif 1850-1850	InformationOperation ist eine teilkategorie von MilitaryOperation
(subclass ForeignInternalDefense MilitaryOperation)	MilitaryProcesses.kif 1905-1905	ForeignInternalDefense ist eine teilkategorie von MilitaryOperation
(subclass CounterOperation MilitaryOperation)	MilitaryProcesses.kif 2168-2168	CounterOperation ist eine teilkategorie von MilitaryOperation
(subclass CivilAffairsActivity MilitaryOperation)	MilitaryProcesses.kif 2362-2362	CivilAffairsActivity ist eine teilkategorie von MilitaryOperation
(subclass FoodDistributionOperation MilitaryOperation)	Military.kif 49-49	FoodDistributionOperation ist eine teilkategorie von MilitaryOperation
(subclass SecurityOperation MilitaryOperation)	Military.kif 80-80	SecurityOperation ist eine teilkategorie von 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