Waterway(waterway) | Grand_Canal, fairway, sea_lane, seaway, ship_route, trade_route, watercourse, 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 is a subclass of transitway |
(subclass Waterway WaterArea) | Geography.kif 5577-5577 | Waterway is a subclass of water area |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 2712-2718 |
|
(=> (instance ?P Waterway) (hasPurpose ?P (exists (?T) (and (instance ?T WaterTransportation) (path ?T ?P))))) |
Geography.kif 5582-5588 |
|
consequent |