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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 48466-48466
(termFormat ChineseTraditionalLanguage RadarReconnaissance "雷達偵察") domainEnglishFormat.kif 48465-48465
(termFormat EnglishLanguage RadarReconnaissance "radar reconnaissance") domainEnglishFormat.kif 48464-48464

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


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


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 is open source software produced by Articulate Software and its partners