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 5848-5850
(subclass Waterway Transitway) Geography.kif 5846-5846 Waterway est une sous-classe de Transitway
(subclass Waterway WaterArea) Geography.kif 5847-5847 Waterway est une sous-classe de plan d'eau

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


(instance NorthernSeaRoute Waterway) Transportation.kif 1809-1809 NorthernSeaRoute est une instance de Waterway
(instance NorthwestPassage Waterway) Transportation.kif 1800-1800 NorthwestPassage est une instance de Waterway
(subclass Canal Waterway) Geography.kif 5863-5863 Canal est une sous-classe de Waterway
(subclass CanalLock Waterway) Transportation.kif 1831-1831 CanalLock est une sous-classe de Waterway
(subclass Channel Waterway) Transportation.kif 1830-1830 Channel est une sous-classe de Waterway
(subclass Harbor Waterway) Transportation.kif 1833-1833 Harbor est une sous-classe de Waterway
(subclass SeaLane Waterway) Transportation.kif 1820-1820 SeaLane est une sous-classe de Waterway
(subclass ShippingChannel Waterway) Transportation.kif 1819-1819 ShippingChannel est une sous-classe de Waterway
(subclass ShippingLane Waterway) Transportation.kif 1818-1818 ShippingLane est une sous-classe de Waterway
(subclass WaterJunction Waterway) Transportation.kif 3875-3875 WaterJunction est une sous-classe de Waterway
(termFormat ChineseLanguage Waterway "水路") domainEnglishFormat.kif 62511-62511 WaterJunction est une sous-classe de Waterway
(termFormat ChineseTraditionalLanguage Waterway "水路") domainEnglishFormat.kif 62510-62510 WaterJunction est une sous-classe de Waterway
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 62509-62509 WaterJunction est une sous-classe de 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
(=>
    (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
(=>
    (instance ?P Waterway)
    (hasPurpose ?P
        (exists (?T)
            (and
                (instance ?T WaterTransportation)
                (path ?T ?P)))))
Geography.kif 5852-5858

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


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663 totalLengthOfWaterways secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
(=>
    (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 3698-3713
(=>
    (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
(=>
    (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
(=>
    (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


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