| ReconnaissanceOperation
| |
| 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 8677-8677 | |
| (externalImage ReconnaissanceOperation "http://upload.wikimedia.org/wikipedia/ commons/ e/ e9/ Photo_interpretation.jpg") | pictureList.kif 9582-9582 | |
| (subclass ReconnaissanceOperation Investigating) | MilitaryProcesses.kif 674-674 | |
| (subclass ReconnaissanceOperation MilitaryOperation) | MilitaryProcesses.kif 673-673 |
| appearance as argument number 2 |
|
|
| (subclass AirReconnaissance ReconnaissanceOperation) | MilitaryProcesses.kif 730-730 | |
| (subclass AmphibiousReconnaissance ReconnaissanceOperation) | MilitaryProcesses.kif 765-765 | |
| (subclass ContactReconnaissance ReconnaissanceOperation) | MilitaryProcesses.kif 820-820 | |
| (subclass ElectronicReconnaissance ReconnaissanceOperation) | MilitaryProcesses.kif 844-844 | |
| (subclass Patrol ReconnaissanceOperation) | MilitaryProcesses.kif 838-838 | |
| (subclass RadarReconnaissance ReconnaissanceOperation) | MilitaryProcesses.kif 824-824 | |
| (subclass ReconnaissanceByFire ReconnaissanceOperation) | MilitaryProcesses.kif 706-706 | |
| (subclass ReconnaissanceInForce ReconnaissanceOperation) | MilitaryProcesses.kif 725-725 | |
| (subclass SpecialReconnaissance ReconnaissanceOperation) | MilitaryProcesses.kif 19-19 | |
| (termFormat EnglishLanguage ReconnaissanceOperation "reconnaissance operation") | MilitaryProcesses.kif 2937-2937 |
| 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 |
|
|
| (=> (instance ?CO CounterReconnaissance) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS ReconnaissanceOperation) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2193-2203 | |
| (=> (instance ?LAR LARUnit) (capability ReconnaissanceOperation agent ?LAR)) |
MilitaryPersons.kif 520-522 |
|
|
|