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 5487-5489
(subclass Waterway Transitway) Geography.kif 5485-5485
(subclass Waterway WaterArea) Geography.kif 5486-5486

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


(instance NorthernSeaRoute Waterway) Transportation.kif 1669-1669
(instance NorthwestPassage Waterway) Transportation.kif 1660-1660
(subclass Canal Waterway) Geography.kif 5501-5501
(subclass CanalLock Waterway) Transportation.kif 1691-1691
(subclass Channel Waterway) Transportation.kif 1690-1690
(subclass Harbor Waterway) Transportation.kif 1693-1693
(subclass SeaLane Waterway) Transportation.kif 1680-1680
(subclass ShippingChannel Waterway) Transportation.kif 1679-1679
(subclass ShippingLane Waterway) Transportation.kif 1678-1678
(subclass WaterJunction Waterway) Transportation.kif 2983-2983
(termFormat ChineseLanguage Waterway "水路") domainEnglishFormat.kif 62491-62491
(termFormat ChineseTraditionalLanguage Waterway "水路") domainEnglishFormat.kif 62490-62490
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 62489-62489

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


(=>
    (and
        (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
        (and
            (instance ?T WaterTransportation)
            (path ?T ?P))))
Geography.kif 5491-5496

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


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))
Transportation.kif 1683-1688
(=>
    (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


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