(subclass MultihullWaterVehicle WaterVehicle) | Transportation.kif 2294-2294 | MultihullWaterVehicle est une sous-classe de WaterVehicle |
(subclass Catamaran MultihullWaterVehicle) | Transportation.kif 2295-2295 | Catamaran est une sous-classe de MultihullWaterVehicle |