(subclass GeneralCargoShip CargoShip) | Transportation.kif 2315-2315 | GeneralCargoShip は CargoShip の subclass では %n |
(subclass PalletizedCargoShip GeneralCargoShip) | Transportation.kif 2322-2322 | PalletizedCargoShip は GeneralCargoShip の subclass では %n |
(subclass DeckCargoShip GeneralCargoShip) | Transportation.kif 2323-2323 | DeckCargoShip は GeneralCargoShip の subclass では %n |