| InfantryUnit(infantry unit)
| | foot, infantry |
| 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 | Infantry unit is a subclass of military unit |
| appearance as argument number 2 |
|
|
| (subclass InfantryCompany InfantryUnit) | MilitaryPersons.kif 502-502 | Infantry company is a subclass of infantry unit |
| (termFormat ChineseLanguage InfantryUnit "步兵部队") | domainEnglishFormat.kif 29993-29993 | Infantry company is a subclass of infantry unit |
| (termFormat ChineseTraditionalLanguage InfantryUnit "步兵部隊") | domainEnglishFormat.kif 29992-29992 | Infantry company is a subclass of infantry unit |
| (termFormat EnglishLanguage InfantryUnit "infantry unit") | domainEnglishFormat.kif 29991-29991 | Infantry company is a subclass of infantry unit |
| 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 |
|
|
|
|