| Roadway(roadway)
|
| appearance as argument number 1 |
|
| (subclass Roadway LandTransitway) | Merge.kif 14474-14474 | Roadway is a subclass of land transitway |
| (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 14475-14480 | Roadway is a subclass of land transitway |
| (externalImage Roadway "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ Street.jpg") | pictureList.kif 183-183 | Roadway is a subclass of land transitway |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain StreetAddressFn 2 Roadway) | Mid-level-ontology.kif 7663-7663 | The number 2 argument of street address is an instance of roadway |
| (domain postStreet 2 Roadway) | Mid-level-ontology.kif 27213-27213 | The number 2 argument of post street is an instance of roadway |
| consequent |
|
|
| (=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R)))) |
Mid-level-ontology.kif 16576-16582 | If X is an instance of curb, then there exist Y, Z such that Y is an instance of sidewalk, Z is an instance of roadway, X connects Y, and Z |
| (=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near)))) |
Mid-level-ontology.kif 17187-17192 | If X is an instance of sidewalk, then there exists Y such that Y is an instance of roadway and X is near to Y |
| (=> (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 4846-4856 | If X is an instance of all_terrain vehicle, then X has the purpose there exist Y, Z such that Y is an instance of transportation, X is an instrument for Y, X is on to Z holds during the time of existence of Y, and Z is not an instance of roadway |
| (<=> (totalLengthOfHighwaySystem ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS Roadway) (located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 484-491 | X is a total length of highway system of Y if and only if the length of the class described by Z is X |
| (=> (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 | If X Y(s) is a total length of highway system of Z, Y is an instance of unit of length, and X is greater than 0, then there exists W such that W is an instance of roadway and W is located at Z |
| (=> (instance ?X BusStop) (exists (?R) (and (instance ?R Roadway) (meetsSpatially ?X ?R)))) |
Transportation.kif 2157-2162 | If X is an instance of bus stop, then there exists Y such that Y is an instance of roadway and X meets Y |
| (=> (and (instance ?S RoadTransportationSystem) (routeInSystem ?P ?S)) (instance ?P Roadway)) |
Transportation.kif 2279-2283 | If X is an instance of road transportation system and X is a route in system of Y, then Y is an instance of roadway |
| (=> (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 4204-4219 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of air transitway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of railway or V is an instance of roadway or V is an instance of waterway |
| (=> (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 4221-4236 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of waterway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of railway or V is an instance of roadway or V is an instance of air transitway |
| (=> (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 4238-4253 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of railway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of waterway or V is an instance of roadway or V is an instance of air transitway |
| (=> (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 4255-4270 | If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of roadway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of waterway or V is an instance of railway or V is an instance of air transitway |
|
|
|