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 5578-5580
(subclass Waterway Transitway) Geography.kif 5576-5576 Waterway ist eine teilkategorie von Transitway
(subclass Waterway WaterArea) Geography.kif 5577-5577 Waterway ist eine teilkategorie von WaterArea

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


(instance NorthernSeaRoute Waterway) Transportation.kif 1669-1669 NorthernSeaRoute ist ein fall von Waterway %n{nicht}
(instance NorthwestPassage Waterway) Transportation.kif 1660-1660 NorthwestPassage ist ein fall von Waterway %n{nicht}
(subclass Canal Waterway) Geography.kif 5593-5593 Canal ist eine teilkategorie von Waterway
(subclass CanalLock Waterway) Transportation.kif 1691-1691 CanalLock ist eine teilkategorie von Waterway
(subclass Channel Waterway) Transportation.kif 1690-1690 Channel ist eine teilkategorie von Waterway
(subclass Harbor Waterway) Transportation.kif 1693-1693 Harbor ist eine teilkategorie von Waterway
(subclass SeaLane Waterway) Transportation.kif 1680-1680 SeaLane ist eine teilkategorie von Waterway
(subclass ShippingChannel Waterway) Transportation.kif 1679-1679 ShippingChannel ist eine teilkategorie von Waterway
(subclass ShippingLane Waterway) Transportation.kif 1678-1678 ShippingLane ist eine teilkategorie von Waterway
(subclass WaterJunction Waterway) Transportation.kif 3164-3164 WaterJunction ist eine teilkategorie von Waterway
(termFormat ChineseLanguage Waterway "水路") domainEnglishFormat.kif 62519-62519
(termFormat ChineseTraditionalLanguage Waterway "水路") domainEnglishFormat.kif 62518-62518
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 62517-62517

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


(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))
Transportation.kif 2712-2718
(=>
    (instance ?P Waterway)
    (hasPurpose ?P
        (exists (?T)
            (and
                (instance ?T WaterTransportation)
                (path ?T ?P)))))
Geography.kif 5582-5588

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


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663 totalLengthOfWaterways GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(=>
    (and
        (instance ?W WaterTransportationSystem)
        (routeInSystem ?W ?P))
    (instance ?P Waterway))
Transportation.kif 2933-2937
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners