(subclass MultihullWaterVehicle WaterVehicle) | Transportation.kif 2300-2300 | MultihullWaterVehicle è una sottoclasse di WaterVehicle |
(subclass Catamaran MultihullWaterVehicle) | Transportation.kif 2301-2301 | Catamaran è una sottoclasse di MultihullWaterVehicle |