(subclass ShipRegister ContentBearingObject) | Transportation.kif 1106-1106 | ShipRegister は コンテンツベアリングオブジェクト の subclass では %n |
(subclass NationalShipRegister ShipRegister) | Transportation.kif 1121-1121 | NationalShipRegister は ShipRegister の subclass では %n |
(subclass InternalShipRegister ShipRegister) | Transportation.kif 1168-1168 | InternalShipRegister は ShipRegister の subclass では %n |
(subclass OffshoreShipRegister ShipRegister) | Transportation.kif 1182-1182 | OffshoreShipRegister は ShipRegister の subclass では %n |
(subclass FlagOfConvenienceRegister ShipRegister) | Transportation.kif 1198-1198 | FlagOfConvenienceRegister は ShipRegister の subclass では %n |