| Railway
| |
| appearance as argument number 1 |
|
|
| (documentation Railway EnglishLanguage "Railway is the subclass of LandTransitways that have rails along which Trains may travel. A railway consists of the rail bed, sleepers, tracks, electric rails, switches, sensors, lights, crossing grades, and any other integral machinery or parts of a section of railway.") | Transportation.kif 347-351 | |
| (externalImage Railway "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d1/ 08_tory_railtrack_ubt.jpeg/ 120px-08_tory_railtrack_ubt.jpeg") | pictureList.kif 1228-1228 | |
| (subclass Railway LandTransitway) | Transportation.kif 345-345 | |
| (subclass Railway StationaryArtifact) | Transportation.kif 346-346 |
| appearance as argument number 2 |
|
|
| (subclass BroadGaugeRailway Railway) | Transportation.kif 353-353 | |
| (subclass DualGaugeRailway Railway) | Transportation.kif 354-354 | |
| (subclass ElectrifiedRailway Railway) | Transportation.kif 358-358 | |
| (subclass MultipleTrackRailway Railway) | Transportation.kif 362-362 | |
| (subclass NarrowGaugeRailway Railway) | Transportation.kif 355-355 | |
| (subclass RailJunction Railway) | Transportation.kif 3872-3872 | |
| (subclass Railhead Railway) | Transportation.kif 2237-2237 | |
| (subclass StandardGaugeRailway Railway) | Transportation.kif 356-356 | |
| (termFormat ChineseLanguage Railway "铁路") | domainEnglishFormat.kif 48678-48678 | |
| (termFormat ChineseTraditionalLanguage Railway "鐵路") | domainEnglishFormat.kif 48677-48677 | |
| (termFormat EnglishLanguage Railway "railway") | domainEnglishFormat.kif 48676-48676 |
| appearance as argument number 3 |
|
|
| (domain trackWidth 1 Railway) | Transportation.kif 396-396 |
| antecedent |
|
|
| (=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThan ?WIDTH 1.44)) |
Transportation.kif 403-409 | |
| (=> (and (instance ?RR Railway) (property ?RR NarrowGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (lessThanOrEqualTo ?WIDTH 1.435)) |
Transportation.kif 453-458 | |
| (=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThanOrEqualTo ?WIDTH 1.435)) |
Transportation.kif 427-433 | |
| (=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (lessThanOrEqualTo ?WIDTH 1.44)) |
Transportation.kif 435-441 |
| consequent |
|
|
| (<=> (totalLengthOfRailwaySystem ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS Railway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 98-105 | |
| (=> (and (instance ?R RailTransportationSystem) (routeInSystem ?P ?R)) (instance ?P Railway)) |
Transportation.kif 2214-2218 | |
| (=> (and (lengthOfUnclassifiedGaugeRailway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY Railway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 308-316 | |
| (=> (and (totalLengthOfRailwaySystem ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY Railway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 107-115 | |
| (=> (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 | |
| (=> (instance ?X RailVehicle) (hasPurpose ?X (exists (?EV ?RAIL) (and (instance ?RAIL Railway) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?RAIL)))))) |
Transportation.kif 2176-2185 |
|
|
|