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 5485-5487
(subclass Waterway Transitway) Geography.kif 5483-5483 Waterway is a subclass of transitway
(subclass Waterway WaterArea) Geography.kif 5484-5484 Waterway is a subclass of water area

appearance as argument number 2

(instance NorthernSeaRoute Waterway) Transportation.kif 1669-1669 Northern sea route is an instance of waterway
(instance NorthwestPassage Waterway) Transportation.kif 1660-1660 Northwest passage is an instance of waterway
(subclass Canal Waterway) Geography.kif 5500-5500 Canal is a subclass of waterway
(subclass CanalLock Waterway) Transportation.kif 1691-1691 Canal lock is a subclass of waterway
(subclass Channel Waterway) Transportation.kif 1690-1690 Channel is a subclass of waterway
(subclass Harbor Waterway) Transportation.kif 1693-1693 Harbor is a subclass of waterway
(subclass SeaLane Waterway) Transportation.kif 1680-1680 Sea lane is a subclass of waterway
(subclass ShippingChannel Waterway) Transportation.kif 1679-1679 Shipping channel is a subclass of waterway
(subclass ShippingLane Waterway) Transportation.kif 1678-1678 Shipping lane is a subclass of waterway
(subclass WaterJunction Waterway) Transportation.kif 2983-2983 Water junction is a subclass of waterway
(termFormat ChineseLanguage Waterway "水路") domainEnglishFormat.kif 62529-62529
(termFormat ChineseTraditionalLanguage Waterway "水路") domainEnglishFormat.kif 62528-62528
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 62527-62527


        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))
Transportation.kif 2667-2673
    (instance ?P Waterway)
    (hasPurpose ?P
        (exists (?T)
                (instance ?T WaterTransportation)
                (path ?T ?P)))))
Geography.kif 5489-5495


    (totalLengthOfWaterways ?AREA ?LENGTH)
        (KappaFn ?WATERWAY
                (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
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))
Transportation.kif 1683-1688
        (totalLengthOfWaterways ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?WATERWAY)
            (instance ?WATERWAY Waterway)
            (located ?WATERWAY ?AREA))))
Transportation.kif 665-673
    (instance ?PORT RiverPort)
    (exists (?RIVER)
            (instance ?RIVER River)
            (instance ?RIVER Waterway)
            (meetsSpatially ?PORT ?RIVER))))
Transportation.kif 856-862

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