| (=> (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 |
|
|