Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadarReconnaissance

Sigma KEE - RadarReconnaissance
RadarReconnaissance(radar reconnaissance)
more pictures...

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage RadarReconnaissance "雷达侦察") domainEnglishFormat.kif 48430-48430
(termFormat ChineseTraditionalLanguage RadarReconnaissance "雷達偵察") domainEnglishFormat.kif 48429-48429
(termFormat EnglishLanguage RadarReconnaissance "radar reconnaissance") domainEnglishFormat.kif 48428-48428

antecedent
-------------------------


(=>
    (instance ?RR RadarReconnaissance)
    (exists (?RADAR)
        (and
            (instrument ?RR ?RADAR)
            (instance ?RADAR Radar))))
MilitaryProcesses.kif 831-836


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

Show without tree


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