AmphibiousReconnaissance(amphibious reconnaissance) |
appearance as argument number 1 |
(documentation AmphibiousReconnaissance EnglishLanguage "An amphibious landing conducted by minor elements, normally involving stealth rather than force of arms, for the purpose of securing information, and usually followed by a planned withdrawal.") | MilitaryProcesses.kif 766-769 | |
(externalImage AmphibiousReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ f/ f4/ 1944_NormandyLST.jpg") | pictureList.kif 9883-9883 | |
(externalImage AmphibiousReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ RoK_K1_88-Tank_landing_from_LCAC.jpg") | pictureList.kif 10403-10403 | |
(subclass AmphibiousReconnaissance ReconnaissanceOperation) | MilitaryProcesses.kif 765-765 | Amphibious reconnaissance is a subclass of reconnaissance operation |
appearance as argument number 2 |
(termFormat ChineseLanguage AmphibiousReconnaissance "两栖侦察") | domainEnglishFormat.kif 7272-7272 | |
(termFormat ChineseTraditionalLanguage AmphibiousReconnaissance "兩棲偵察") | domainEnglishFormat.kif 7271-7271 | |
(termFormat EnglishLanguage AmphibiousReconnaissance "amphibious reconnaissance") | domainEnglishFormat.kif 7270-7270 |
antecedent |
(=> (and (instance ?AR AmphibiousReconnaissance) (agent ?AR ?AGENT)) (exists (?LANDING) (and (subProcess ?LANDING ?AR) (instance ?LANDING LandingWaterLand) (agent ?LANDING ?AGENT)))) |
MilitaryProcesses.kif 782-790 |
|
(=> (instance ?AR AmphibiousReconnaissance) (exists (?AMPHCRAFT) (and (instance ?AMPHCRAFT AmphibiousVehicle) (instrument ?AR ?AMPHCRAFT)))) |
MilitaryProcesses.kif 773-778 |
|
consequent |
(=> (instance ?ARU AmphibiousReconnaissanceUnit) (hasPurpose ?ARU (exists (?AR) (and (instance ?AR AmphibiousReconnaissance) (agent ?AR ?ARU))))) |
MilitaryProcesses.kif 800-806 |
|