| (=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway)) |
Transportation.kif 1683-1688 |
|
| (subclass River StreamWaterArea) | Geography.kif 5472-5472 | River ist eine teilkategorie von StreamWaterArea |
| (subclass River FreshWaterArea) | Geography.kif 5473-5473 | River ist eine teilkategorie von FreshWaterArea |
| (subclass River BodyOfWater) | Geography.kif 5474-5474 | River ist eine teilkategorie von BodyOfWater |
|
|