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 3695-3710	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 3729-3744	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 3746-3761	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 3712-3727	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