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	物理は CounterReconnaissance の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは物理の agent では %n enemy エンティティー and エンティティーエンティティーは ReconnaissanceOperation の subclass では %n エンティティーはエンティティーの instance では %n エンティティーはエンティティーの agent では %n 物理はエンティティーの出来事を prevents %n{ない} の目的 %n{ない}
(subclass ReconnaissanceOperation MilitaryOperation)	MilitaryProcesses.kif 673-673	ReconnaissanceOperation は MilitaryOperation の subclass では %n
(subclass ReconnaissanceOperation Investigating)	MilitaryProcesses.kif 674-674	ReconnaissanceOperation は捜査の subclass では %n
(subclass SpecialReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 19-19	SpecialReconnaissance は ReconnaissanceOperation の subclass では %n
(subclass ReconnaissanceByFire ReconnaissanceOperation)	MilitaryProcesses.kif 706-706	ReconnaissanceByFire は ReconnaissanceOperation の subclass では %n
(subclass ReconnaissanceInForce ReconnaissanceOperation)	MilitaryProcesses.kif 725-725	ReconnaissanceInForce は ReconnaissanceOperation の subclass では %n
(subclass AirReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 730-730	AirReconnaissance は ReconnaissanceOperation の subclass では %n
(subclass AmphibiousReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 765-765	AmphibiousReconnaissance は ReconnaissanceOperation の subclass では %n
(subclass ContactReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 820-820	ContactReconnaissance は ReconnaissanceOperation の subclass では %n
(subclass RadarReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 824-824	RadarReconnaissance は ReconnaissanceOperation の subclass では %n
(subclass Patrol ReconnaissanceOperation)	MilitaryProcesses.kif 838-838	Patrol は ReconnaissanceOperation の subclass では %n
(subclass ElectronicReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 844-844	ElectronicReconnaissance は ReconnaissanceOperation の 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