(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway)) |
Transportation.kif 1683-1688 | |
(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea)) |
Transportation.kif 2287-2292 | |
(subclass WaterVehicle Vehicle) | Mid-level-ontology.kif 3483-3483 | |
(subclass MultihullWaterVehicle WaterVehicle) | Transportation.kif 2294-2294 | |
(subclass DisplacementHullWaterVehicle WaterVehicle) | Transportation.kif 2297-2297 | |
(subclass FishingShip WaterVehicle) | Transportation.kif 2436-2436 | |
(subclass PlaningHullWaterVehicle WaterVehicle) | Transportation.kif 2461-2461 | |
(subclass Barge WaterVehicle) | Transportation.kif 2489-2489 | |
(subclass TugBoat WaterVehicle) | Transportation.kif 2492-2492 | |
(subclass FireBoat WaterVehicle) | Transportation.kif 2493-2493 | |
(subclass FerryBoat WaterVehicle) | Transportation.kif 2494-2494 | |
(subclass Runabout WaterVehicle) | Transportation.kif 2497-2497 | |
(subclass Sailboat WaterVehicle) | Transportation.kif 2498-2498 | |
(subclass Canoe WaterVehicle) | Transportation.kif 2499-2499 | |
(subclass Kayak WaterVehicle) | Sports.kif 201-201 | |
(subclass PersonalWatercraft WaterVehicle) | Transportation.kif 2505-2505 | |
(subclass Keelboat WaterVehicle) | Sports.kif 204-204 | |
(subclass MilitaryWaterVehicle WaterVehicle) | Military.kif 151-151 | |
(subclass AmphibiousVehicle WaterVehicle) | MilitaryDevices.kif 2020-2020 | |
(subclass Submarine WaterVehicle) | Mid-level-ontology.kif 17658-17658 |