| 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 740-741 | |
| (externalImage InfantryUnit "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ 2ID_Recon_Baghdad.jpg") | pictureList.kif 8537-8537 | |
| (subclass InfantryUnit MilitaryUnit) | Military.kif 739-739 | Infantry unit is a subclass of military unit |
| appearance as argument number 2 |
|
|
| (subclass InfantryCompany InfantryUnit) | MilitaryPersons.kif 516-516 | Infantry company is a subclass of infantry unit |
| (termFormat ChineseLanguage InfantryUnit "步兵部队") | domainEnglishFormat.kif 29987-29987 | Infantry company is a subclass of infantry unit |
| (termFormat ChineseTraditionalLanguage InfantryUnit "步兵部隊") | domainEnglishFormat.kif 29986-29986 | Infantry company is a subclass of infantry unit |
| (termFormat EnglishLanguage InfantryUnit "infantry unit") | domainEnglishFormat.kif 29985-29985 | 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 743-752 |
|
|
|
|