(subclass CompanyMilitary MilitaryUnit) | Military.kif 736-736 | CompanyMilitary è una sottoclasse di MilitaryUnit |
(subclass ArtilleryBattery CompanyMilitary) | MilitaryPersons.kif 483-483 | ArtilleryBattery è una sottoclasse di CompanyMilitary |
(subclass InfantryCompany CompanyMilitary) | MilitaryPersons.kif 501-501 | InfantryCompany è una sottoclasse di CompanyMilitary |
(subclass WeaponsCompany CompanyMilitary) | MilitaryPersons.kif 563-563 | WeaponsCompany è una sottoclasse di CompanyMilitary |