InfantryUnit
|
|
appearance as argument number 1 |
(documentation InfantryUnit EnglishLanguage "A MilitaryUnit composed primarily of Soldiers who fight on foot, i.e. without the use of heavy artillery.") | Military.kif 673-674 | |
(externalImage InfantryUnit "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ 2ID_Recon_Baghdad.jpg") | pictureList.kif 8538-8538 | |
(subclass InfantryUnit MilitaryUnit) | Military.kif 672-672 | InfantryUnit est une sous-classe de MilitaryUnit |
appearance as argument number 2 |
(subclass InfantryCompany InfantryUnit) | MilitaryPersons.kif 502-502 | InfantryCompany est une sous-classe de InfantryUnit |
(termFormat ChineseLanguage InfantryUnit "步兵部队") | domainEnglishFormat.kif 29959-29959 | |
(termFormat ChineseTraditionalLanguage InfantryUnit "步兵部隊") | domainEnglishFormat.kif 29958-29958 | |
(termFormat EnglishLanguage InfantryUnit "infantry unit") | domainEnglishFormat.kif 29957-29957 |
antecedent |
(=> (instance ?AB InfantryUnit) (exists (?AC) (and (or (instance ?AC AutomaticGun) (instance ?AC Firearm) (instance ?AC MortarGun) (instance ?AC ExplosiveMine)) (possesses ?AB ?AC)))) |
Military.kif 676-685 |
|