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 | Waterway e' uma sub-classe de Transitway |
(subclass Waterway WaterArea) | Geography.kif 5577-5577 | Waterway e' uma sub-classe de Area Aquatica |
appearance as argument number 2 |
(instance NorthernSeaRoute Waterway) | Transportation.kif 1669-1669 | NorthernSeaRoute e' uma instancia de Waterway |
(instance NorthwestPassage Waterway) | Transportation.kif 1660-1660 | NorthwestPassage e' uma instancia de Waterway |
(subclass Canal Waterway) | Geography.kif 5593-5593 | Canal e' uma sub-classe de Waterway |
(subclass CanalLock Waterway) | Transportation.kif 1691-1691 | CanalLock e' uma sub-classe de Waterway |
(subclass Channel Waterway) | Transportation.kif 1690-1690 | Channel e' uma sub-classe de Waterway |
(subclass Harbor Waterway) | Transportation.kif 1693-1693 | Harbor e' uma sub-classe de Waterway |
(subclass SeaLane Waterway) | Transportation.kif 1680-1680 | SeaLane e' uma sub-classe de Waterway |
(subclass ShippingChannel Waterway) | Transportation.kif 1679-1679 | ShippingChannel e' uma sub-classe de Waterway |
(subclass ShippingLane Waterway) | Transportation.kif 1678-1678 | ShippingLane e' uma sub-classe de Waterway |
(subclass WaterJunction Waterway) | Transportation.kif 2983-2983 | WaterJunction e' uma sub-classe de Waterway |
(termFormat ChineseLanguage Waterway "水路") | domainEnglishFormat.kif 62517-62517 | |
(termFormat ChineseTraditionalLanguage Waterway "水路") | domainEnglishFormat.kif 62516-62516 | |
(termFormat EnglishLanguage Waterway "waterway") | domainEnglishFormat.kif 62515-62515 |
antecedent |
(=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 2667-2673 |
|
(=> (instance ?P Waterway) (hasPurpose ?P (exists (?T) (and (instance ?T WaterTransportation) (path ?T ?P))))) |
Geography.kif 5582-5588 |
consequent |