| (=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?RIVER Waterway)) |
Transportation.kif 1653-1658 | |
| (subclass River StreamWaterArea) | Geography.kif 5135-5135 | |
| (subclass River FreshWaterArea) | Geography.kif 5136-5136 | |
| (subclass River BodyOfWater) | Geography.kif 5137-5137 |
|
|