RadarReconnaissance - Sigma Knowledge base Browser

appearance as argument number 1

(subclass RadarReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 846-846	Radar reconnaissance is a subclass of reconnaissance operation
(documentation RadarReconnaissance EnglishLanguage "Reconnaissance by means of radar to obtain information on enemy activity and to determine the nature of terrain.")	MilitaryProcesses.kif 847-849	Radar reconnaissance is a subclass of reconnaissance operation
(externalImage RadarReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0c/ Sturmfront_auf_Doppler_Radar_Schirm.jpg")	pictureList.kif 8673-8673	Radar reconnaissance is a subclass of reconnaissance operation
(externalImage RadarReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0d/ Radar_screen.JPG")	pictureList.kif 9574-9574	Radar reconnaissance is a subclass of reconnaissance operation
(externalImage RadarReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 65/ Heathrow_Airport_radar_tower_P1180333.jpg")	pictureList.kif 9575-9575	Radar reconnaissance is a subclass of reconnaissance operation
(externalImage RadarReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ Radar_antenna.jpg")	pictureList.kif 9576-9576	Radar reconnaissance is a subclass of reconnaissance operation
(externalImage RadarReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9b/ PAVE_PAWS_Radar_Clear_AFS_Alaska.jpg")	pictureList.kif 9577-9577	Radar reconnaissance is a subclass of reconnaissance operation
(externalImage RadarReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Radar_composantes.png")	pictureList.kif 9579-9579	Radar reconnaissance is a subclass of reconnaissance operation

appearance as argument number 2

(termFormat EnglishLanguage RadarReconnaissance "radar reconnaissance")	domainEnglishFormat.kif 48421-48421
(termFormat ChineseTraditionalLanguage RadarReconnaissance "雷達偵察")	domainEnglishFormat.kif 48422-48422
(termFormat ChineseLanguage RadarReconnaissance "雷达侦察")	domainEnglishFormat.kif 48423-48423

antecedent

(=>
    (instance ?RR RadarReconnaissance)
    (exists (?RADAR)
        (and
            (instrument ?RR ?RADAR)
            (instance ?RADAR Radar))))

MilitaryProcesses.kif 853-858

If X is an instance of radar reconnaissance, then there exists Y such that Y is an instrument for X and Y is an instance of radar

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners