Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Waterway
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 5711-5713
(subclass Waterway Transitway) Geography.kif 5709-5709
(subclass Waterway WaterArea) Geography.kif 5710-5710

appearance as argument number 2
-------------------------


(instance NorthernSeaRoute Waterway) Transportation.kif 1809-1809
(instance NorthwestPassage Waterway) Transportation.kif 1800-1800
(subclass Canal Waterway) Geography.kif 5726-5726
(subclass CanalLock Waterway) Transportation.kif 1831-1831
(subclass Channel Waterway) Transportation.kif 1830-1830
(subclass Harbor Waterway) Transportation.kif 1833-1833
(subclass SeaLane Waterway) Transportation.kif 1820-1820
(subclass ShippingChannel Waterway) Transportation.kif 1819-1819
(subclass ShippingLane Waterway) Transportation.kif 1818-1818
(subclass WaterJunction Waterway) Transportation.kif 3873-3873
(termFormat ChineseLanguage Waterway "水路") domainEnglishFormat.kif 62511-62511
(termFormat ChineseTraditionalLanguage Waterway "水路") domainEnglishFormat.kif 62510-62510
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 62509-62509

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
(=>
    (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 3931-3943
(=>
    (instance ?P Waterway)
    (hasPurpose ?P
        (exists (?T)
            (and
                (instance ?T WaterTransportation)
                (path ?T ?P)))))		 Geography.kif 5715-5721

consequent
-------------------------


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))		 Transportation.kif 656-663
(=>
    (and
        (instance ?W WaterTransportationSystem)
        (routeInSystem ?W ?P))
    (instance ?P Waterway))		 Transportation.kif 3486-3490
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))		 Transportation.kif 1823-1828
(=>
    (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
(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))		 Transportation.kif 856-862
(=>
    (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 3696-3711
(=>
    (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 3730-3745
(=>
    (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 3747-3762
(=>
    (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 3713-3728


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