(subclass InfantryCompany CompanyMilitary) | MilitaryPersons.kif 501-501 | InfantryCompany ist eine teilkategorie von CompanyMilitary |
(subclass InfantryCompany InfantryUnit) | MilitaryPersons.kif 502-502 | InfantryCompany ist eine teilkategorie von InfantryUnit |