| (subclass ShipRegister ContentBearingObject) | Transportation.kif 1106-1106 | ShipRegister ist eine teilkategorie von ContentBearingObject |
| (subclass NationalShipRegister ShipRegister) | Transportation.kif 1121-1121 | NationalShipRegister ist eine teilkategorie von ShipRegister |
| (subclass InternalShipRegister ShipRegister) | Transportation.kif 1168-1168 | InternalShipRegister ist eine teilkategorie von ShipRegister |
| (subclass OffshoreShipRegister ShipRegister) | Transportation.kif 1182-1182 | OffshoreShipRegister ist eine teilkategorie von ShipRegister |
| (subclass FlagOfConvenienceRegister ShipRegister) | Transportation.kif 1198-1198 | FlagOfConvenienceRegister ist eine teilkategorie von ShipRegister |
|
|