ReconnaissanceOperation(reconnaissance operation) | recce, recco, reccy, reconnaissance, reconnaissance_mission |
appearance as argument number 1 |
(documentation ReconnaissanceOperation EnglishLanguage "A mission undertaken to obtain, by visual observation or other detection methods, information about the activities and resources of an enemy or potential enemy, or to secure data concerning the meteorological, hydrographic, or geographic characteristics of a particular area. Also called RECON.") | MilitaryProcesses.kif 675-679 | |
(externalImage ReconnaissanceOperation "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7e/ U-2_photo_during_Cuban_Missile_Crisis.jpg") | pictureList.kif 8678-8678 | |
(externalImage ReconnaissanceOperation "http://upload.wikimedia.org/wikipedia/ commons/ e/ e9/ Photo_interpretation.jpg") | pictureList.kif 9583-9583 | |
(subclass ReconnaissanceOperation Investigating) | MilitaryProcesses.kif 674-674 | Reconnaissance operation is a subclass of investigating |
(subclass ReconnaissanceOperation MilitaryOperation) | MilitaryProcesses.kif 673-673 | Reconnaissance operation is a subclass of military operation |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?SR ReconnaissanceOperation) (agent ?SR ?AGENT) (instance ?PROP Proposition)) (hasPurpose ?SR (knows ?AGENT ?PROP))) |
MilitaryProcesses.kif 684-690 |
|
(=> (and (instance ?SR ReconnaissanceOperation) (agent ?SR ?AGENT)) (not (hasPurpose ?SR (exists (?ATTACK ?HOSTILE) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE)))))) |
MilitaryProcesses.kif 694-704 |
|
consequent |