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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirReconnaissance

Sigma KEE - AirReconnaissance
AirReconnaissance

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


(documentation AirReconnaissance EnglishLanguage "The acquisition of information by employing visual observation and/ or sensors in air vehicles.") MilitaryProcesses.kif 731-732
(externalImage AirReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ CBP_unmanned_aerial_vehicle_control.jpg") pictureList.kif 2090-2090
(externalImage AirReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 73/ Canberra.arp.750pix.jpg") pictureList.kif 2093-2093
(externalImage AirReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ a/ a5/ Radarvliegtuig%2803%29.jpg") pictureList.kif 2092-2092
(externalImage AirReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ c/ c5/ Globalhawk.750pix.jpg") pictureList.kif 2091-2091
(subclass AirReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 730-730 AirReconnaissance e' uma sub-classe de ReconnaissanceOperation

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


(subclass AirPhotographicReconnaissance AirReconnaissance) MilitaryProcesses.kif 743-743 AirPhotographicReconnaissance e' uma sub-classe de AirReconnaissance
(termFormat ChineseLanguage AirReconnaissance "空中侦察") domainEnglishFormat.kif 6264-6264
(termFormat ChineseTraditionalLanguage AirReconnaissance "空中偵察") domainEnglishFormat.kif 6263-6263
(termFormat EnglishLanguage AirReconnaissance "air reconnaissance") domainEnglishFormat.kif 6262-6262

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


(=>
    (instance ?AR AirReconnaissance)
    (exists (?AIRCRAFT)
        (and
            (instance ?AIRCRAFT Aircraft)
            (instrument ?AR ?AIRCRAFT))))
MilitaryProcesses.kif 736-741


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