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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Waterway

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 5240-5242
(subclass Waterway Transitway) Geography.kif 5238-5238 Waterway is a subclass of transitway
(subclass Waterway WaterArea) Geography.kif 5239-5239 Waterway is a subclass of water area

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


(instance NorthernSeaRoute Waterway) Transportation.kif 1639-1639 Northern sea route is an instance of waterway
(instance NorthwestPassage Waterway) Transportation.kif 1630-1630 Northwest passage is an instance of waterway
(subclass Canal Waterway) Geography.kif 5254-5254 Canal is a subclass of waterway
(subclass CanalLock Waterway) Transportation.kif 1661-1661 Canal lock is a subclass of waterway
(subclass Channel Waterway) Transportation.kif 1660-1660 Channel is a subclass of waterway
(subclass Harbor Waterway) Transportation.kif 1663-1663 Harbor is a subclass of waterway
(subclass SeaLane Waterway) Transportation.kif 1650-1650 Sea lane is a subclass of waterway
(subclass ShippingChannel Waterway) Transportation.kif 1649-1649 Shipping channel is a subclass of waterway
(subclass ShippingLane Waterway) Transportation.kif 1648-1648 Shipping lane is a subclass of waterway
(subclass WaterJunction Waterway) Transportation.kif 2927-2927 Water junction is a subclass of waterway
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 10844-10844 "waterway" is the printable form of waterway in english language

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


(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))
Transportation.kif 2608-2614
(=>
    (instance ?P Waterway)
    (hasPurpose ?P
        (and
            (instance ?T WaterTransportation)
            (path ?T ?P))))
Geography.kif 5244-5249

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


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 645-652 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 ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?RIVER Waterway))
Transportation.kif 1653-1658
(=>
    (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 830-836


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners