AmphibiousReconnaissanceUnit |
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 |
appearance as argument number 2 |
(termFormat ChineseLanguage AmphibiousReconnaissanceUnit "两栖侦察部队") | domainEnglishFormat.kif 7281-7281 | |
(termFormat ChineseTraditionalLanguage AmphibiousReconnaissanceUnit "兩棲偵察部隊") | domainEnglishFormat.kif 7280-7280 | |
(termFormat EnglishLanguage AmphibiousReconnaissanceUnit "amphibious reconnaissance unit") | domainEnglishFormat.kif 7279-7279 |
antecedent |
(=> (instance ?ARU AmphibiousReconnaissanceUnit) (hasPurpose ?ARU (exists (?AR) (and (instance ?AR AmphibiousReconnaissance) (agent ?AR ?ARU))))) |
MilitaryProcesses.kif 800-806 |