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 | Amphibious reconnaissance unit is a subclass of military force |
appearance as argument number 2 |
(termFormat ChineseLanguage AmphibiousReconnaissanceUnit "两栖侦察部队") | domainEnglishFormat.kif 7278-7278 | |
(termFormat ChineseTraditionalLanguage AmphibiousReconnaissanceUnit "兩棲偵察部隊") | domainEnglishFormat.kif 7277-7277 | |
(termFormat EnglishLanguage AmphibiousReconnaissanceUnit "amphibious reconnaissance unit") | domainEnglishFormat.kif 7276-7276 |
antecedent |
(=> (instance ?ARU AmphibiousReconnaissanceUnit) (hasPurpose ?ARU (exists (?AR) (and (instance ?AR AmphibiousReconnaissance) (agent ?AR ?ARU))))) |
MilitaryProcesses.kif 800-806 |
|