AmphibiousReconnaissance - Sigma Knowledge base Browser

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 7280-7280
(termFormat ChineseTraditionalLanguage AmphibiousReconnaissance "兩棲偵察")	domainEnglishFormat.kif 7279-7279
(termFormat EnglishLanguage AmphibiousReconnaissance "amphibious reconnaissance")	domainEnglishFormat.kif 7278-7278

antecedent

(=> (and (instance ?AR AmphibiousReconnaissance) (agent ?AR ?AGENT)) (exists (?LANDING) (and (subProcess ?LANDING ?AR) (instance ?LANDING LandingWaterLand) (agent ?LANDING ?AGENT))))	MilitaryProcesses.kif 782-790	If a process is an instance of amphibious reconnaissance and an agent is an agent of the process, then there exists another process such that the other process is a subprocess of the process and the other process is an instance of landing water land and the agent is an agent of the other process
(=> (instance ?AR AmphibiousReconnaissance) (exists (?AMPHCRAFT) (and (instance ?AMPHCRAFT AmphibiousVehicle) (instrument ?AR ?AMPHCRAFT))))	MilitaryProcesses.kif 773-778	If a process is an instance of amphibious reconnaissance, then there exists an object such that the object is an instance of amphibious vehicle and the object is an instrument for the process

consequent

(=>
    (instance ?ARU AmphibiousReconnaissanceUnit)
    (hasPurpose ?ARU
        (exists (?AR)
            (and
                (instance ?AR AmphibiousReconnaissance)
                (agent ?AR ?ARU)))))

MilitaryProcesses.kif 800-806