| Waterway(waterway) | | Grand_Canal, fairway, sea_lane, seaway, ship_route, trade_route, watercourse, waterway |
| appearance as argument number 1 |
|
|
| (subclass Waterway Transitway) | Geography.kif 7197-7197 | Waterway is a subclass of transitway |
| (subclass Waterway WaterArea) | Geography.kif 7198-7198 | Waterway is a subclass of water area |
| (documentation Waterway EnglishLanguage "Waterway is the class of navigable waters, including Oceans, SeaLanes, Rivers, Canals, Lakes, and inland bodies of water.") | Geography.kif 7199-7201 | Waterway is a subclass of water area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?P Waterway) (hasPurpose ?P (exists (?T) (and (instance ?T WaterTransportation) (path ?T ?P))))) |
Geography.kif 7203-7209 | If X is an instance of waterway, then X has the purpose there exists Y such that Y is an instance of water transportation and X is path along which Y occurs |
| (=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 3702-3708 | If X is an instance of waterway, the depth from Y to X is Z W(s), W is an instance of unit of length, and V is less than Z, then V W(s) is a navigable for draft of X |
| (=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT Waterway) (instance ?C Collection) (memberType ?C WaterVehicle) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2)) |
Transportation.kif 4434-4446 | If All of the following hold: (1) X can handle Y number of vehicles during Z (2) X is an instance of waterway (3) W is an instance of collection (4) water vehicle is a member type of W (5) V is a member count of W (6) U is a member of W (7) T is an instance of transportation (8) U is an instrument for T (9) the time of existence of T takes place during Z (10) X is path along which T occurs, then Y is greater than or equal to V |
| consequent |
|
|
| (<=> (totalLengthOfWaterways ?AREA ?LENGTH) (length (KappaFn ?WATERWAY (and (instance ?WATERWAY Waterway) (partlyLocated ?WATERWAY ?AREA))) ?LENGTH)) |
Transportation.kif 656-663 | X is a total length of waterways of Y if and only if the length of the class described by Z is X |
| (=> (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 | If X Y(s) is a total length of waterways of Z, Y is an instance of unit of length, and X is greater than 0, then there exists W such that W is an instance of waterway and W is located at Z |
| (=> (instance ?PORT RiverPort) (exists (?RIVER) (and (instance ?RIVER River) (instance ?RIVER Waterway) (meetsSpatially ?PORT ?RIVER)))) |
Transportation.kif 856-862 | If X is an instance of river port, then there exists Y such that Y is an instance of river, Y is an instance of waterway, and X meets Y |
| (=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway)) |
Transportation.kif 1838-1843 | If X is an instance of river, Y is a trafficable for traffic type of X, and Y is a subclass of water vehicle, then X is an instance of waterway |
| (=> (and (instance ?W WaterTransportationSystem) (routeInSystem ?W ?P)) (instance ?P Waterway)) |
Transportation.kif 3990-3994 | If X is an instance of water transportation system and Y is a route in system of X, then Y is an instance of waterway |
| (=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A AirTransitway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Railway) (instance ?B Roadway) (instance ?B Waterway))))) |
Transportation.kif 4199-4214 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of air transitway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of railway or V is an instance of roadway or V is an instance of waterway |
| (=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Waterway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Railway) (instance ?B Roadway) (instance ?B AirTransitway))))) |
Transportation.kif 4216-4231 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of waterway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of railway or V is an instance of roadway or V is an instance of air transitway |
| (=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Railway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Waterway) (instance ?B Roadway) (instance ?B AirTransitway))))) |
Transportation.kif 4233-4248 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of railway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of waterway or V is an instance of roadway or V is an instance of air transitway |
| (=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Roadway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Waterway) (instance ?B Railway) (instance ?B AirTransitway))))) |
Transportation.kif 4250-4265 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of roadway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of waterway or V is an instance of railway or V is an instance of air transitway |
|
|
|