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
-------------------------


s__documentation(s__RadarReconnaissance,s__EnglishLanguage,'"Reconnaissance by means of radar to obtain information on enemy activity and to determine the nature of terrain."')

MilitaryProcesses.kif 825-827
s__externalImage(s__RadarReconnaissance,'"http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0c/ Sturmfront_auf_Doppler-Radar-Schirm.jpg"')

pictureList.kif 8678-8678
s__externalImage(s__RadarReconnaissance,'"http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0d/ Radar_screen.JPG"')

pictureList.kif 9592-9592
s__externalImage(s__RadarReconnaissance,'"http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Radar_composantes.png"')

pictureList.kif 9597-9597
s__externalImage(s__RadarReconnaissance,'"http://upload.wikimedia.org/wikipedia/ commons/ 6/ 65/ Heathrow_Airport_radar_tower_P1180333.jpg"')

pictureList.kif 9593-9593
s__externalImage(s__RadarReconnaissance,'"http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ Radar_antenna.jpg"')

pictureList.kif 9594-9594
s__externalImage(s__RadarReconnaissance,'"http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9b/ PAVE_PAWS_Radar_Clear_AFS_Alaska.jpg"')

pictureList.kif 9595-9595
s__instance(s__ReconnaissanceOperation,s__SetOrClass)

s__instance(s__RadarReconnaissance,s__SetOrClass)

s__subclass(s__RadarReconnaissance,s__ReconnaissanceOperation)

MilitaryProcesses.kif 824-824 Radar reconnaissance is a subclass of reconnaissance operation

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


s__termFormat(s__ChineseLanguage,s__RadarReconnaissance,'"雷达侦察"')

domainEnglishFormat.kif 48410-48410
s__termFormat(s__ChineseTraditionalLanguage,s__RadarReconnaissance,'"雷達偵察"')

domainEnglishFormat.kif 48409-48409
s__termFormat(s__EnglishLanguage,s__RadarReconnaissance,'"radar reconnaissance"')

domainEnglishFormat.kif 48408-48408

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


( ! [V__RR] :
   ((s__instance(V__RR,s__RadarReconnaissance) =>
       (( ? [V__RADAR] :
           ((s__instrument(V__RR,V__RADAR)
             &
             s__instance(V__RADAR,s__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