(subclass GeneralCargoShip CargoShip) | Transportation.kif 2315-2315 | GeneralCargoShip est une sous-classe de CargoShip |
(subclass PalletizedCargoShip GeneralCargoShip) | Transportation.kif 2322-2322 | PalletizedCargoShip est une sous-classe de GeneralCargoShip |
(subclass DeckCargoShip GeneralCargoShip) | Transportation.kif 2323-2323 | DeckCargoShip est une sous-classe de GeneralCargoShip |