(subclass DisplacementHullWaterVehicle WaterVehicle) | Transportation.kif 2297-2297 | Displacement hull water vehicle is a subclass of water vehicle |
(subclass Ship DisplacementHullWaterVehicle) | Transportation.kif 2303-2303 | Ship is a subclass of displacement hull water vehicle |