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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Waterway

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 5270-5272
(subclass Waterway Transitway) Geography.kif 5268-5268
(subclass Waterway WaterArea) Geography.kif 5269-5269

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


(instance NorthernSeaRoute Waterway) Transportation.kif 1654-1654
(instance NorthwestPassage Waterway) Transportation.kif 1645-1645
(subclass Canal Waterway) Geography.kif 5284-5284
(subclass CanalLock Waterway) Transportation.kif 1676-1676
(subclass Channel Waterway) Transportation.kif 1675-1675
(subclass Harbor Waterway) Transportation.kif 1678-1678
(subclass SeaLane Waterway) Transportation.kif 1665-1665
(subclass ShippingChannel Waterway) Transportation.kif 1664-1664
(subclass ShippingLane Waterway) Transportation.kif 1663-1663
(subclass WaterJunction Waterway) Transportation.kif 2961-2961
(termFormat ChineseLanguage Waterway "水路") domainEnglishFormat.kif 62435-62435
(termFormat ChineseTraditionalLanguage Waterway "水路") domainEnglishFormat.kif 62434-62434
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 62433-62433

antecedent
-------------------------


(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))
Transportation.kif 2645-2651
(=>
    (instance ?P Waterway)
    (hasPurpose ?P
        (and
            (instance ?T WaterTransportation)
            (path ?T ?P))))
Geography.kif 5274-5279

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


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 645-652
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))
Transportation.kif 1668-1673
(=>
    (and
        (totalLengthOfWaterways ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?WATERWAY)
        (and
            (instance ?WATERWAY Waterway)
            (located ?WATERWAY ?AREA))))
Transportation.kif 654-662
(=>
    (instance ?PORT RiverPort)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))
Transportation.kif 845-851


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

Show without tree


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