Sigma KB Term Intersection

(=> (instance ?CO CounterReconnaissance) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS ReconnaissanceOperation) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2193-2203	Wenn Physical ist ein fall von CounterReconnaissance %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 ReconnaissanceOperation 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 ReconnaissanceOperation MilitaryOperation)	MilitaryProcesses.kif 673-673	ReconnaissanceOperation ist eine teilkategorie von MilitaryOperation
(subclass ReconnaissanceOperation Investigating)	MilitaryProcesses.kif 674-674	ReconnaissanceOperation ist eine teilkategorie von Investigating
(subclass SpecialReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 19-19	SpecialReconnaissance ist eine teilkategorie von ReconnaissanceOperation
(subclass ReconnaissanceByFire ReconnaissanceOperation)	MilitaryProcesses.kif 706-706	ReconnaissanceByFire ist eine teilkategorie von ReconnaissanceOperation
(subclass ReconnaissanceInForce ReconnaissanceOperation)	MilitaryProcesses.kif 725-725	ReconnaissanceInForce ist eine teilkategorie von ReconnaissanceOperation
(subclass AirReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 730-730	AirReconnaissance ist eine teilkategorie von ReconnaissanceOperation
(subclass AmphibiousReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 765-765	AmphibiousReconnaissance ist eine teilkategorie von ReconnaissanceOperation
(subclass ContactReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 820-820	ContactReconnaissance ist eine teilkategorie von ReconnaissanceOperation
(subclass RadarReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 824-824	RadarReconnaissance ist eine teilkategorie von ReconnaissanceOperation
(subclass Patrol ReconnaissanceOperation)	MilitaryProcesses.kif 838-838	Patrol ist eine teilkategorie von ReconnaissanceOperation
(subclass ElectronicReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 844-844	ElectronicReconnaissance ist eine teilkategorie von ReconnaissanceOperation

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