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 子類 水路 and 公交專用道
(subclass Waterway WaterArea) Geography.kif 5577-5577 子類 水路 and WaterArea

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


(instance NorthernSeaRoute Waterway) Transportation.kif 1669-1669 例 北海航線 and 水路
(instance NorthwestPassage Waterway) Transportation.kif 1660-1660 例 西北通道 and 水路
(subclass Canal Waterway) Geography.kif 5593-5593 子類 運河 and 水路
(subclass CanalLock Waterway) Transportation.kif 1691-1691 子類 運河鎖 and 水路
(subclass Channel Waterway) Transportation.kif 1690-1690 子類 渠道 and 水路
(subclass Harbor Waterway) Transportation.kif 1693-1693 子類 港口 and 水路
(subclass SeaLane Waterway) Transportation.kif 1680-1680 子類 海道 and 水路
(subclass ShippingChannel Waterway) Transportation.kif 1679-1679 子類 運輸渠道 and 水路
(subclass ShippingLane Waterway) Transportation.kif 1678-1678 子類 航道 and 水路
(subclass WaterJunction Waterway) Transportation.kif 2983-2983 子類 水交界處 and 水路
(termFormat ChineseLanguage Waterway "水路") domainEnglishFormat.kif 62517-62517
(termFormat ChineseTraditionalLanguage Waterway "水路") domainEnglishFormat.kif 62516-62516
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 62515-62515

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
        (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 LengthMeasure 是 GeographicArea 的 total 水路長路 length 卡帕 SymbolicString and 例 SymbolicString and 水路 部分位於 SymbolicString and GeographicArea and LengthMeasure
(=>
    (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