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 5240-5242
(subclass Waterway Transitway) Geography.kif 5238-5238
(subclass Waterway WaterArea) Geography.kif 5239-5239

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


(instance NorthernSeaRoute Waterway) Transportation.kif 1639-1639
(instance NorthwestPassage Waterway) Transportation.kif 1630-1630
(subclass Canal Waterway) Geography.kif 5254-5254
(subclass CanalLock Waterway) Transportation.kif 1661-1661
(subclass Channel Waterway) Transportation.kif 1660-1660
(subclass Harbor Waterway) Transportation.kif 1663-1663
(subclass SeaLane Waterway) Transportation.kif 1650-1650
(subclass ShippingChannel Waterway) Transportation.kif 1649-1649
(subclass ShippingLane Waterway) Transportation.kif 1648-1648
(subclass WaterJunction Waterway) Transportation.kif 2927-2927
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 10844-10844

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
(=>
    (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