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 5256-5258
(subclass Waterway Transitway) Geography.kif 5254-5254 subclass Waterway and Transitway
(subclass Waterway WaterArea) Geography.kif 5255-5255 subclass Waterway and WaterArea

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


(instance NorthernSeaRoute Waterway) Transportation.kif 1654-1654 instance NorthernSeaRoute and Waterway
(instance NorthwestPassage Waterway) Transportation.kif 1645-1645 instance NorthwestPassage and Waterway
(subclass Canal Waterway) Geography.kif 5270-5270 subclass Canal and Waterway
(subclass CanalLock Waterway) Transportation.kif 1676-1676 subclass CanalLock and Waterway
(subclass Channel Waterway) Transportation.kif 1675-1675 subclass Channel and Waterway
(subclass Harbor Waterway) Transportation.kif 1678-1678 subclass Harbor and Waterway
(subclass SeaLane Waterway) Transportation.kif 1665-1665 subclass SeaLane and Waterway
(subclass ShippingChannel Waterway) Transportation.kif 1664-1664 subclass ShippingChannel and Waterway
(subclass ShippingLane Waterway) Transportation.kif 1663-1663 subclass ShippingLane and Waterway
(subclass WaterJunction Waterway) Transportation.kif 2952-2952 subclass WaterJunction and Waterway
(termFormat ChineseLanguage Waterway "水路") domainEnglishFormat.kif 62461-62461 termFormat ChineseLanguage, Waterway and "水路"
(termFormat ChineseTraditionalLanguage Waterway "水路") domainEnglishFormat.kif 62460-62460 termFormat ChineseTraditionalLanguage, Waterway and "水路"
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 62459-62459 termFormat EnglishLanguage, Waterway and "waterway"

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


(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))
Transportation.kif 2636-2642
(=>
    (instance ?P Waterway)
    (hasPurpose ?P
        (and
            (instance ?T WaterTransportation)
            (path ?T ?P))))
Geography.kif 5260-5265

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


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 645-652 totalLengthOfWaterways GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and Waterway partlyLocated SymbolicString and GeographicArea and LengthMeasure
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners