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 5270-5272
(subclass Waterway Transitway) Geography.kif 5268-5268 水路公交专用道subclass
(subclass Waterway WaterArea) Geography.kif 5269-5269 水路水域subclass

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


(instance NorthernSeaRoute Waterway) Transportation.kif 1654-1654 北海航线水路instance
(instance NorthwestPassage Waterway) Transportation.kif 1645-1645 西北通道水路instance
(subclass Canal Waterway) Geography.kif 5284-5284 运河水路subclass
(subclass CanalLock Waterway) Transportation.kif 1676-1676 运河锁水路subclass
(subclass Channel Waterway) Transportation.kif 1675-1675 渠道水路subclass
(subclass Harbor Waterway) Transportation.kif 1678-1678 港口水路subclass
(subclass SeaLane Waterway) Transportation.kif 1665-1665 海道水路subclass
(subclass ShippingChannel Waterway) Transportation.kif 1664-1664 运输渠道水路subclass
(subclass ShippingLane Waterway) Transportation.kif 1663-1663 航道水路subclass
(subclass WaterJunction Waterway) Transportation.kif 2961-2961 水交界处水路subclass
(termFormat ChineseLanguage Waterway "水路") domainEnglishFormat.kif 62435-62435
(termFormat ChineseTraditionalLanguage Waterway "水路") domainEnglishFormat.kif 62434-62434
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 62433-62433

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


(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))
Transportation.kif 2645-2651
(=>
    (instance ?P Waterway)
    (hasPurpose ?P
        (and
            (instance ?T WaterTransportation)
            (path ?T ?P))))
Geography.kif 5274-5279

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


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 645-652 长度测量 地理区域total 水路长路 若且唯若 符号串 所描述的类别 的 length那个 长度测量
(=>
    (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 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