AirReconnaissance - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AirReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 752-752	Air reconnaissance is a subclass of reconnaissance operation
(documentation AirReconnaissance EnglishLanguage "The acquisition of information by employing visual observation and/ or sensors in air vehicles.")	MilitaryProcesses.kif 753-754	Air reconnaissance is a subclass of reconnaissance operation
(externalImage AirReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ CBP_unmanned_aerial_vehicle_control.jpg")	pictureList.kif 2089-2089	Air reconnaissance is a subclass of reconnaissance operation
(externalImage AirReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ c/ c5/ Globalhawk.750pix.jpg")	pictureList.kif 2090-2090	Air reconnaissance is a subclass of reconnaissance operation
(externalImage AirReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ a/ a5/ Radarvliegtuig%2803%29.jpg")	pictureList.kif 2091-2091	Air reconnaissance is a subclass of reconnaissance operation
(externalImage AirReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 73/ Canberra.arp.750pix.jpg")	pictureList.kif 2092-2092	Air reconnaissance is a subclass of reconnaissance operation

appearance as argument number 2

(subclass AirPhotographicReconnaissance AirReconnaissance)	MilitaryProcesses.kif 765-765	Air photographic reconnaissance is a subclass of air reconnaissance
(termFormat EnglishLanguage AirReconnaissance "air reconnaissance")	domainEnglishFormat.kif 6269-6269	Air photographic reconnaissance is a subclass of air reconnaissance
(termFormat ChineseTraditionalLanguage AirReconnaissance "空中偵察")	domainEnglishFormat.kif 6270-6270	Air photographic reconnaissance is a subclass of air reconnaissance
(termFormat ChineseLanguage AirReconnaissance "空中侦察")	domainEnglishFormat.kif 6271-6271	Air photographic reconnaissance is a subclass of air reconnaissance

antecedent

(=>
    (instance ?AR AirReconnaissance)
    (exists (?AIRCRAFT)
        (and
            (instance ?AIRCRAFT Aircraft)
            (instrument ?AR ?AIRCRAFT))))

If X is an instance of air reconnaissance, then there exists Y such that Y is an instance of aircraft and Y is an instrument for X