![]() |
![]() ![]() ![]()
|
![]() |
|
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 5270-5272 | |
(subclass Waterway Transitway) | Geography.kif 5268-5268 | |
(subclass Waterway WaterArea) | Geography.kif 5269-5269 |
appearance as argument number 2 |
![]() |
(instance NorthernSeaRoute Waterway) | Transportation.kif 1654-1654 | |
(instance NorthwestPassage Waterway) | Transportation.kif 1645-1645 | |
(subclass Canal Waterway) | Geography.kif 5284-5284 | |
(subclass CanalLock Waterway) | Transportation.kif 1676-1676 | |
(subclass Channel Waterway) | Transportation.kif 1675-1675 | |
(subclass Harbor Waterway) | Transportation.kif 1678-1678 | |
(subclass SeaLane Waterway) | Transportation.kif 1665-1665 | |
(subclass ShippingChannel Waterway) | Transportation.kif 1664-1664 | |
(subclass ShippingLane Waterway) | Transportation.kif 1663-1663 | |
(subclass WaterJunction Waterway) | Transportation.kif 2961-2961 | |
(termFormat ChineseLanguage Waterway "水路") | domainEnglishFormat.kif 62435-62435 | |
(termFormat ChineseTraditionalLanguage Waterway "水路") | domainEnglishFormat.kif 62434-62434 | |
(termFormat EnglishLanguage Waterway "waterway") | domainEnglishFormat.kif 62433-62433 |
antecedent |
![]() |
(=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 2645-2651 | |
(=> (instance ?P Waterway) (hasPurpose ?P (and (instance ?T WaterTransportation) (path ?T ?P)))) |
Geography.kif 5274-5279 |
consequent |
![]() |
(<=> (totalLengthOfWaterways ?AREA ?LENGTH) (length (KappaFn ?WATERWAY (and (instance ?WATERWAY Waterway) (partlyLocated ?WATERWAY ?AREA))) ?LENGTH)) |
Transportation.kif 645-652 | |
(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway)) |
Transportation.kif 1668-1673 | |
(=> (and (totalLengthOfWaterways ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?WATERWAY) (and (instance ?WATERWAY Waterway) (located ?WATERWAY ?AREA)))) |
Transportation.kif 654-662 | |
(=> (instance ?PORT RiverPort) (exists (?RIVER) (and (instance ?RIVER River) (instance ?RIVER Waterway) (meetsSpatially ?PORT ?RIVER)))) |
Transportation.kif 845-851 |
![]() |
![]() |