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 |
|
![]() |
![]() |