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 5881-5883
(subclass Waterway Transitway) Geography.kif 5879-5879 水路 是 公交专用道 的 subclass
(subclass Waterway WaterArea) Geography.kif 5880-5880 水路 是 水域 的 subclass

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


(instance NorthernSeaRoute Waterway) Transportation.kif 1809-1809 北海航线 是 水路 的 instance
(instance NorthwestPassage Waterway) Transportation.kif 1800-1800 西北通道 是 水路 的 instance
(subclass Canal Waterway) Geography.kif 5896-5896 运河 是 水路 的 subclass
(subclass CanalLock Waterway) Transportation.kif 1831-1831 运河锁 是 水路 的 subclass
(subclass Channel Waterway) Transportation.kif 1830-1830 渠道 是 水路 的 subclass
(subclass Harbor Waterway) Transportation.kif 1833-1833 港口 是 水路 的 subclass
(subclass SeaLane Waterway) Transportation.kif 1820-1820 海道 是 水路 的 subclass
(subclass ShippingChannel Waterway) Transportation.kif 1819-1819 运输渠道 是 水路 的 subclass
(subclass ShippingLane Waterway) Transportation.kif 1818-1818 航道 是 水路 的 subclass
(subclass WaterJunction Waterway) Transportation.kif 3875-3875 水交界处 是 水路 的 subclass
(termFormat ChineseLanguage Waterway "水路") domainEnglishFormat.kif 62511-62511 水交界处 是 水路 的 subclass
(termFormat ChineseTraditionalLanguage Waterway "水路") domainEnglishFormat.kif 62510-62510 水交界处 是 水路 的 subclass
(termFormat EnglishLanguage Waterway "waterway") domainEnglishFormat.kif 62509-62509 水交界处 是 水路 的 subclass

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


(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))		 Transportation.kif 3198-3204
(=>
    (and
        (transitwayThroughputCapacity ?LT ?TI ?I)
        (instance ?LT Waterway)
        (instance ?C Collection)
        (memberType ?C WaterVehicle)
        (memberCount ?C ?I2)
        (member ?V ?C)
        (instance ?T Transportation)
        (instrument ?T ?V)
        (during
            (WhenFn ?T) ?TI)
        (path ?T ?LT))
    (greaterThanOrEqualTo ?I ?I2))		 Transportation.kif 3933-3945
(=>
    (instance ?P Waterway)
    (hasPurpose ?P
        (exists (?T)
            (and
                (instance ?T WaterTransportation)
                (path ?T ?P)))))		 Geography.kif 5885-5891

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


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))		 Transportation.kif 656-663 长度测量 是 地理区域 的 total 水路长路 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量
(=>
    (and
        (instance ?W WaterTransportationSystem)
        (routeInSystem ?W ?P))
    (instance ?P Waterway))		 Transportation.kif 3486-3490
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))		 Transportation.kif 1823-1828
(=>
    (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
(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A AirTransitway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Railway)
                (instance ?B Roadway)
                (instance ?B Waterway)))))		 Transportation.kif 3698-3713
(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A Railway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Waterway)
                (instance ?B Roadway)
                (instance ?B AirTransitway)))))		 Transportation.kif 3732-3747
(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A Roadway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Waterway)
                (instance ?B Railway)
                (instance ?B AirTransitway)))))		 Transportation.kif 3749-3764
(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A Waterway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Railway)
                (instance ?B Roadway)
                (instance ?B AirTransitway)))))		 Transportation.kif 3715-3730


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