|
|
   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 | Roadway ist eine teilkategorie von LandTransitway |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain StreetAddressFn 2 Roadway) | Mid-level-ontology.kif 6708-6708 | Die Zahl 2 Argument von StreetAddressFn ist ein fall von Roadway %n{nicht} |
| (domain postStreet 2 Roadway) | Mid-level-ontology.kif 24814-24814 | Die Zahl 2 Argument von postStreet ist ein fall von Roadway %n{nicht} |
| consequent |
|
|
| (<=> (totalLengthOfHighwaySystem ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS Roadway) (located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 484-491 | totalLengthOfHighwaySystem GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht} |
| (=> (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 |
|
|
|
|
