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 14322-14327 | |
(externalImage Roadway "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ Street.jpg") | pictureList.kif 183-183 | |
(subclass Roadway LandTransitway) | Merge.kif 14321-14321 | 巷道 是 陆地过境通道 的 subclass |
appearance as argument number 2 |
(subclass Driveway Roadway) | Mid-level-ontology.kif 17875-17875 | 车道 是 巷道 的 subclass |
(subclass Lane Roadway) | Transportation.kif 1646-1646 | 车道 是 巷道 的 subclass |
(subclass Road Roadway) | Mid-level-ontology.kif 22217-22217 | 路 是 巷道 的 subclass |
(subclass RoadJunction Roadway) | Transportation.kif 2971-2971 | 交叉路口 是 巷道 的 subclass |
(subclass SecondaryHighway Roadway) | Transportation.kif 1643-1643 | 二级公路 是 巷道 的 subclass |
(subclass Street Roadway) | Transportation.kif 1644-1644 | 街 是 巷道 的 subclass |
(subclass SurfacedRoadway Roadway) | Transportation.kif 625-625 | 浮出水面的巷道 是 巷道 的 subclass |
(subclass UnsurfacedRoadway Roadway) | Transportation.kif 635-635 | 没有铺面的巷道 是 巷道 的 subclass |
(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 6707-6707 | 街道地址 的 2 数量 是 巷道 的 instance |
(domain postStreet 2 Roadway) | Mid-level-ontology.kif 24813-24813 | postStreet 的 2 数量 是 巷道 的 instance |
consequent |
(<=> (totalLengthOfHighwaySystem ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS Roadway) (located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 484-491 | 长度测量 是 地理区域 的 total 高速公路系统长度 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
(=> (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 4776-4786 | |
(=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R)))) |
Mid-level-ontology.kif 15050-15056 | |
(=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near)))) |
Mid-level-ontology.kif 15661-15666 | |
(=> (instance ?X BusStop) (exists (?R) (and (instance ?R Roadway) (meetsSpatially ?X ?R)))) |
Transportation.kif 2002-2007 |