| (=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway)) |
Transportation.kif 1823-1828 | |
| (subclass Waterway Transitway) | Geography.kif 5709-5709 | |
| (subclass Waterway WaterArea) | Geography.kif 5710-5710 | |
| (subclass ShippingLane Waterway) | Transportation.kif 1818-1818 | |
| (subclass ShippingChannel Waterway) | Transportation.kif 1819-1819 | |
| (subclass SeaLane Waterway) | Transportation.kif 1820-1820 | |
| (subclass Channel Waterway) | Transportation.kif 1830-1830 | |
| (subclass CanalLock Waterway) | Transportation.kif 1831-1831 | |
| (subclass Harbor Waterway) | Transportation.kif 1833-1833 | |
| (subclass WaterJunction Waterway) | Transportation.kif 3873-3873 | |
| (subclass Canal Waterway) | Geography.kif 5726-5726 |
|
|