(subclass WaterTransportationSystem TransitSystem) | Transportation.kif 2917-2917 | WaterTransportationSystem ist eine teilkategorie von TransitSystem |
(subclass CanalSystem WaterTransportationSystem) | Transportation.kif 2927-2927 | CanalSystem ist eine teilkategorie von WaterTransportationSystem |