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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AirReconnaissance
AirReconnaissance(air reconnaissance)
air_reconnaissance

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


s__documentation(s__AirReconnaissance,s__EnglishLanguage,'"The acquisition of information by employing visual observation and/ or sensors in air vehicles."')

MilitaryProcesses.kif 731-732
s__externalImage(s__AirReconnaissance,'"http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ CBP_unmanned_aerial_vehicle_control.jpg"')

pictureList.kif 2091-2091
s__externalImage(s__AirReconnaissance,'"http://upload.wikimedia.org/wikipedia/ commons/ 7/ 73/ Canberra.arp.750pix.jpg"')

pictureList.kif 2094-2094
s__externalImage(s__AirReconnaissance,'"http://upload.wikimedia.org/wikipedia/ commons/ a/ a5/ Radarvliegtuig%2803%29.jpg"')

pictureList.kif 2093-2093
s__externalImage(s__AirReconnaissance,'"http://upload.wikimedia.org/wikipedia/ commons/ c/ c5/ Globalhawk.750pix.jpg"')

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

s__subclass(s__AirReconnaissance,s__ReconnaissanceOperation)

s__instance(s__AirReconnaissance,s__SetOrClass)

MilitaryProcesses.kif 730-730 Air reconnaissance is a subclass of reconnaissance operation

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


s__instance(s__AirPhotographicReconnaissance,s__SetOrClass)

s__instance(s__AirReconnaissance,s__SetOrClass)

s__subclass(s__AirPhotographicReconnaissance,s__AirReconnaissance)

MilitaryProcesses.kif 743-743 Air photographic reconnaissance is a subclass of air reconnaissance
s__termFormat(s__ChineseLanguage,s__AirReconnaissance,'"空中侦察"')

domainEnglishFormat.kif 6273-6273
s__termFormat(s__ChineseTraditionalLanguage,s__AirReconnaissance,'"空中偵察"')

domainEnglishFormat.kif 6272-6272
s__termFormat(s__EnglishLanguage,s__AirReconnaissance,'"air reconnaissance"')

domainEnglishFormat.kif 6271-6271

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


( ! [V__AR] :
   ((s__instance(V__AR,s__AirReconnaissance) =>
       (( ? [V__AIRCRAFT] :
           ((s__instance(V__AIRCRAFT,s__Aircraft) &
               s__instrument(V__AR,V__AIRCRAFT))))))
   )
)

MilitaryProcesses.kif 736-741


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