AmphibiousReconnaissance - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AmphibiousReconnaissance ReconnaissanceOperation)	MilitaryProcesses.kif 787-787	Amphibious reconnaissance is a subclass of reconnaissance operation
(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 788-791	Amphibious reconnaissance is a subclass of reconnaissance operation
(externalImage AmphibiousReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ f/ f4/ 1944_NormandyLST.jpg")	pictureList.kif 9882-9882	Amphibious reconnaissance is a subclass of reconnaissance operation
(externalImage AmphibiousReconnaissance "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ RoK_K1_88-Tank_landing_from_LCAC.jpg")	pictureList.kif 10401-10401	Amphibious reconnaissance is a subclass of reconnaissance operation

appearance as argument number 2

(termFormat EnglishLanguage AmphibiousReconnaissance "amphibious reconnaissance")	domainEnglishFormat.kif 7271-7271
(termFormat ChineseTraditionalLanguage AmphibiousReconnaissance "兩棲偵察")	domainEnglishFormat.kif 7272-7272
(termFormat ChineseLanguage AmphibiousReconnaissance "两栖侦察")	domainEnglishFormat.kif 7273-7273

antecedent

(=> (instance ?AR AmphibiousReconnaissance) (exists (?AMPHCRAFT) (and (instance ?AMPHCRAFT AmphibiousVehicle) (instrument ?AR ?AMPHCRAFT))))	MilitaryProcesses.kif 795-800	If X is an instance of amphibious reconnaissance, then there exists Y such that Y is an instance of amphibious vehicle and Y is an instrument for X
(=> (and (instance ?AR AmphibiousReconnaissance) (agent ?AR ?AGENT)) (exists (?LANDING) (and (subProcess ?LANDING ?AR) (instance ?LANDING LandingWaterLand) (agent ?LANDING ?AGENT))))	MilitaryProcesses.kif 804-812	If X is an instance of amphibious reconnaissance and Y is an agent of X, then there exists Z such that Z is a subprocess of X, Z is an instance of landing water land, and Y is an agent of Z

consequent

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

If X is an instance of amphibious reconnaissance unit, then X has the purpose there exists Y such that Y is an instance of amphibious reconnaissance and X is an agent of Y