Waterway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Waterway

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 5848-5850
(subclass Waterway Transitway)	Geography.kif 5846-5846	Waterway is a subclass of transitway
(subclass Waterway WaterArea)	Geography.kif 5847-5847	Waterway is a subclass of water area

appearance as argument number 2

(instance NorthernSeaRoute Waterway)	Transportation.kif 1809-1809	Northern sea route is an instance of waterway
(instance NorthwestPassage Waterway)	Transportation.kif 1800-1800	Northwest passage is an instance of waterway
(subclass Canal Waterway)	Geography.kif 5863-5863	Canal is a subclass of waterway
(subclass CanalLock Waterway)	Transportation.kif 1831-1831	Canal lock is a subclass of waterway
(subclass Channel Waterway)	Transportation.kif 1830-1830	Channel is a subclass of waterway
(subclass Harbor Waterway)	Transportation.kif 1833-1833	Harbor is a subclass of waterway
(subclass SeaLane Waterway)	Transportation.kif 1820-1820	Sea lane is a subclass of waterway
(subclass ShippingChannel Waterway)	Transportation.kif 1819-1819	Shipping channel is a subclass of waterway
(subclass ShippingLane Waterway)	Transportation.kif 1818-1818	Shipping lane is a subclass of waterway
(subclass WaterJunction Waterway)	Transportation.kif 3875-3875	Water junction is a subclass of waterway
(termFormat ChineseLanguage Waterway "水路")	domainEnglishFormat.kif 62511-62511	Water junction is a subclass of waterway
(termFormat ChineseTraditionalLanguage Waterway "水路")	domainEnglishFormat.kif 62510-62510	Water junction is a subclass of waterway
(termFormat EnglishLanguage Waterway "waterway")	domainEnglishFormat.kif 62509-62509	Water junction is a subclass of waterway

antecedent

(=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT)))	Transportation.kif 3198-3204	If a water area is an instance of waterway and the depth from a physical to the water area is a real number an unit of measure(s) and the unit of measure is an instance of unit of length and another real number is less than the real number, then the other real number the unit of measure(s) is a &avigableForDraft$"navigable" for draft of the water area
(=> (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 3933-3945	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of waterway and a collection is an instance of collection and water vehicle is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2
(=> (instance ?P Waterway) (hasPurpose ?P (exists (?T) (and (instance ?T WaterTransportation) (path ?T ?P)))))	Geography.kif 5852-5858	If a physical is an instance of waterway, then the physical has the purpose there exists an entity such that the entity is an instance of water transportation and the physical is path along which the entity occurs

consequent

(<=> (totalLengthOfWaterways ?AREA ?LENGTH) (length (KappaFn ?WATERWAY (and (instance ?WATERWAY Waterway) (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))	Transportation.kif 656-663	A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=> (and (instance ?W WaterTransportationSystem) (routeInSystem ?W ?P)) (instance ?P Waterway))	Transportation.kif 3486-3490	If a transitway is an instance of water transportation system and a transit system is a route in system of the transitway, then the transit system is an instance of waterway
(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway))	Transportation.kif 1823-1828	If an object is an instance of river and a kind of self connected object is a trafficable for traffic type of the object and a kind of self connected object is a subclass of water vehicle, then the object is an instance of waterway
(=> (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 a real number an unit of measure(s) is a total length of waterways of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of waterway and the physical is located at the geographic area
(=> (instance ?PORT RiverPort) (exists (?RIVER) (and (instance ?RIVER River) (instance ?RIVER Waterway) (meetsSpatially ?PORT ?RIVER))))	Transportation.kif 856-862	If an object is an instance of river port, then there exists another object such that the other object is an instance of river and the other object is an instance of waterway and the object meets the other object
(=> (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 3698-3713	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of air transitway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and equal the motion and the other motion and the other transitway is an instance of railway or the other transitway is an instance of roadway or the other transitway is an instance of waterway
(=> (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 3732-3747	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of railway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and equal the motion and the other motion and the other transitway is an instance of waterway or the other transitway is an instance of roadway or the other transitway 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 3749-3764	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of roadway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and equal the motion and the other motion and the other transitway is an instance of waterway or the other transitway is an instance of railway or the other transitway is an instance of air transitway
(=> (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 3715-3730	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of waterway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and equal the motion and the other motion and the other transitway is an instance of railway or the other transitway is an instance of roadway or the other transitway is an instance of air transitway

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners