| Waterway | |
| appearance as argument number 1 |
|
|
| (documentation Waterway EnglishLanguage "Waterway is the class of navigable waters, including Oceans, SeaLanes, Rivers, Canals, Lakes, and inland bodies of water.") | Geography.kif 5578-5580 | |
| (subclass Waterway Transitway) | Geography.kif 5576-5576 | |
| (subclass Waterway WaterArea) | Geography.kif 5577-5577 |
| appearance as argument number 2 |
|
|
| (instance NorthernSeaRoute Waterway) | Transportation.kif 1669-1669 | |
| (instance NorthwestPassage Waterway) | Transportation.kif 1660-1660 | |
| (subclass Canal Waterway) | Geography.kif 5593-5593 | |
| (subclass CanalLock Waterway) | Transportation.kif 1691-1691 | |
| (subclass Channel Waterway) | Transportation.kif 1690-1690 | |
| (subclass Harbor Waterway) | Transportation.kif 1693-1693 | |
| (subclass SeaLane Waterway) | Transportation.kif 1680-1680 | |
| (subclass ShippingChannel Waterway) | Transportation.kif 1679-1679 | |
| (subclass ShippingLane Waterway) | Transportation.kif 1678-1678 | |
| (subclass WaterJunction Waterway) | Transportation.kif 3035-3035 | |
| (termFormat ChineseLanguage Waterway "水路") | domainEnglishFormat.kif 62519-62519 | |
| (termFormat ChineseTraditionalLanguage Waterway "水路") | domainEnglishFormat.kif 62518-62518 | |
| (termFormat EnglishLanguage Waterway "waterway") | domainEnglishFormat.kif 62517-62517 |
| antecedent |
|
|
| (=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 2700-2706 | |
| (=> (instance ?P Waterway) (hasPurpose ?P (exists (?T) (and (instance ?T WaterTransportation) (path ?T ?P))))) |
Geography.kif 5582-5588 |
| consequent |
|
|
| (<=> (totalLengthOfWaterways ?AREA ?LENGTH) (length (KappaFn ?WATERWAY (and (instance ?WATERWAY Waterway) (partlyLocated ?WATERWAY ?AREA))) ?LENGTH)) |
Transportation.kif 656-663 | |
| (=> (and (instance ?W WaterTransportationSystem) (routeInSystem ?W ?P)) (instance ?P Waterway)) |
Transportation.kif 2921-2925 | |
| (=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway)) |
Transportation.kif 1683-1688 | |
| (=> (and (totalLengthOfWaterways ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?WATERWAY) (and (instance ?WATERWAY Waterway) (located ?WATERWAY ?AREA)))) |
Transportation.kif 665-673 | |
| (=> (instance ?PORT RiverPort) (exists (?RIVER) (and (instance ?RIVER River) (instance ?RIVER Waterway) (meetsSpatially ?PORT ?RIVER)))) |
Transportation.kif 856-862 |
|
|
|