| (=> (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 2286-2291 | |
| (subclass WaterVehicle Vehicle) | Mid-level-ontology.kif 3444-3444 | |
| (subclass MultihullWaterVehicle WaterVehicle) | Transportation.kif 2293-2293 | |
| (subclass DisplacementHullWaterVehicle WaterVehicle) | Transportation.kif 2296-2296 | |
| (subclass FishingShip WaterVehicle) | Transportation.kif 2435-2435 | |
| (subclass PlaningHullWaterVehicle WaterVehicle) | Transportation.kif 2460-2460 | |
| (subclass Barge WaterVehicle) | Transportation.kif 2488-2488 | |
| (subclass TugBoat WaterVehicle) | Transportation.kif 2491-2491 | |
| (subclass FireBoat WaterVehicle) | Transportation.kif 2492-2492 | |
| (subclass FerryBoat WaterVehicle) | Transportation.kif 2493-2493 | |
| (subclass Runabout WaterVehicle) | Transportation.kif 2496-2496 | |
| (subclass Sailboat WaterVehicle) | Transportation.kif 2497-2497 | |
| (subclass Canoe WaterVehicle) | Transportation.kif 2498-2498 | |
| (subclass Kayak WaterVehicle) | Sports.kif 166-166 | |
| (subclass PersonalWatercraft WaterVehicle) | Transportation.kif 2504-2504 | |
| (subclass Keelboat WaterVehicle) | Sports.kif 169-169 | |
| (subclass MilitaryWaterVehicle WaterVehicle) | Military.kif 151-151 | |
| (subclass AmphibiousVehicle WaterVehicle) | MilitaryDevices.kif 2020-2020 | |
| (subclass Submarine WaterVehicle) | Mid-level-ontology.kif 17152-17152 |
|
|