Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Roadway
Roadway(巷道)

appearance as argument number 1
-------------------------


(documentation Roadway ChineseLanguage "Roadway 是 LandTransitway 的子类别，它是专为设有 自备电源、有轮胎，却不在轨道上运行的车辆在地面运行的地带。Roadway 起码要作稍微改善才能让车辆通过。 Roadway 包括泥路、砾石铺成的路、水泥或柏油路铺成的路和高速公路。") chinese_format.kif 3359-3361
(documentation Roadway EnglishLanguage "Roadway is the subclass of LandTransitways that are areas intended for surface travel by self-powered, wheeled vehicles, excluding those that travel on tracks. Roadways have been at least minimally improved to enable the passage of vehicles. Roadways include dirt and gravelled roads, paved streets, and expressways.") Merge.kif 14300-14305
(externalImage Roadway "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ Street.jpg") pictureList.kif 183-183
(subclass Roadway LandTransitway) Merge.kif 14299-14299 子類 巷道 and 陸地過境通道

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


(subclass Driveway Roadway) Mid-level-ontology.kif 17876-17876 子類 車道 and 巷道
(subclass Lane Roadway) Transportation.kif 1646-1646 子類 車道 and 巷道
(subclass Road Roadway) Mid-level-ontology.kif 22218-22218 子類 路 and 巷道
(subclass RoadJunction Roadway) Transportation.kif 2971-2971 子類 交叉路口 and 巷道
(subclass SecondaryHighway Roadway) Transportation.kif 1643-1643 子類 二級公路 and 巷道
(subclass Street Roadway) Transportation.kif 1644-1644 子類 街 and 巷道
(subclass SurfacedRoadway Roadway) Transportation.kif 625-625 子類 浮出水面的巷道 and 巷道
(subclass UnsurfacedRoadway Roadway) Transportation.kif 635-635 子類 沒有鋪面的巷道 and 巷道
(termFormat ChineseLanguage Roadway "巷道") domainEnglishFormat.kif 50204-50204
(termFormat ChineseTraditionalLanguage Roadway "巷道") domainEnglishFormat.kif 50203-50203
(termFormat EnglishLanguage Roadway "roadway") domainEnglishFormat.kif 50202-50202

appearance as argument number 3
-------------------------


(domain StreetAddressFn 2 Roadway) Mid-level-ontology.kif 6708-6708 域 街道地址, 2 and 巷道
(domain postStreet 2 Roadway) Mid-level-ontology.kif 24814-24814 域 postStreet, 2 and 巷道

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


(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 484-491 LengthMeasure 是 GeographicArea 的 total 高速公路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 巷道 位於 SymbolicString and GeographicArea and LengthMeasure
(=>
    (and
        (instance ?S RoadTransportationSystem)
        (routeInSystem ?P ?S))
    (instance ?P Roadway))		 Transportation.kif 2089-2093
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY Roadway)
            (located ?HIGHWAY ?AREA))))		 Transportation.kif 493-501
(=>
    (instance ?ATV AllTerrainVehicle)
    (hasPurpose ?ATV
        (exists (?D ?L)
            (and
                (instance ?D Transportation)
                (instrument ?D ?ATV)
                (holdsDuring
                    (WhenFn ?D)
                    (orientation ?ATV ?L On))
                (not
                    (instance ?L Roadway))))))		 Cars.kif 4768-4778
(=>
    (instance ?C Curb)
    (exists (?S ?R)
        (and
            (instance ?S Sidewalk)
            (instance ?R Roadway)
            (connects ?C ?S ?R))))		 Mid-level-ontology.kif 15051-15057
(=>
    (instance ?SIDE Sidewalk)
    (exists (?ROAD)
        (and
            (instance ?ROAD Roadway)
            (orientation ?SIDE ?ROAD Near))))		 Mid-level-ontology.kif 15662-15667
(=>
    (instance ?X BusStop)
    (exists (?R)
        (and
            (instance ?R Roadway)
            (meetsSpatially ?X ?R))))		 Transportation.kif 2002-2007


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 3.0 is open source software produced by Articulate Software and its partners