| (=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea)) |
Transportation.kif 2293-2298 | |
| (subclass WaterArea GeographicArea) | Merge.kif 14166-14166 | |
| (subclass SurfZone WaterArea) | Weather.kif 1362-1362 | |
| (subclass Harbor WaterArea) | Transportation.kif 917-917 | |
| (subclass Anchorage WaterArea) | Transportation.kif 921-921 | |
| (subclass ShipBerth WaterArea) | Transportation.kif 2988-2988 | |
| (subclass StreamWaterArea WaterArea) | Mid-level-ontology.kif 9059-9059 | |
| (subclass StaticWaterArea WaterArea) | Mid-level-ontology.kif 9066-9066 | |
| (subclass SaltWaterArea WaterArea) | Merge.kif 14179-14179 | |
| (subclass FreshWaterArea WaterArea) | Merge.kif 14184-14184 | |
| (subclass HydropowerWaterArea WaterArea) | Geography.kif 2028-2028 | |
| (subclass BodyOfWater WaterArea) | Geography.kif 4491-4491 | |
| (subclass WaterCurrent WaterArea) | Geography.kif 4932-4932 | |
| (subclass InlandWaterSystem WaterArea) | Geography.kif 5341-5341 | |
| (subclass StreamWaterConfluence WaterArea) | Geography.kif 5484-5484 | |
| (subclass RiverSystem WaterArea) | Geography.kif 5509-5509 | |
| (subclass Waterway WaterArea) | Geography.kif 5577-5577 | |
| (subclass RiverMouth WaterArea) | Geography.kif 5655-5655 |
|
|