AmphibiousReconnaissanceUnit - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AmphibiousReconnaissanceUnit EnglishLanguage "A unit organized, equipped, and trained to conduct and support amphibious reconnaissance missions. An amphibious reconnaissance unit is made up of a number of amphibious reconnaissance teams.")	MilitaryProcesses.kif 793-796
(subclass AmphibiousReconnaissanceUnit MilitaryForce)	MilitaryProcesses.kif 792-792	Amphibious reconnaissance unit is a subclass of military force

appearance as argument number 2

(termFormat ChineseLanguage AmphibiousReconnaissanceUnit "两栖侦察部队")	domainEnglishFormat.kif 7286-7286
(termFormat ChineseTraditionalLanguage AmphibiousReconnaissanceUnit "兩棲偵察部隊")	domainEnglishFormat.kif 7285-7285
(termFormat EnglishLanguage AmphibiousReconnaissanceUnit "amphibious reconnaissance unit")	domainEnglishFormat.kif 7284-7284

antecedent

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

MilitaryProcesses.kif 800-806