| 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 3824-3824 | |
| (subclass Railhead Railway) | Transportation.kif 2231-2231 | |
| (subclass StandardGaugeRailway Railway) | Transportation.kif 356-356 | |
| (termFormat ChineseLanguage Railway "铁路") | domainEnglishFormat.kif 48709-48709 | |
| (termFormat ChineseTraditionalLanguage Railway "鐵路") | domainEnglishFormat.kif 48708-48708 | |
| (termFormat EnglishLanguage Railway "railway") | domainEnglishFormat.kif 48707-48707 |
| 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 3650-3665 | |
| (=> (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 3684-3699 | |
| (=> (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 3701-3716 | |
| (=> (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 3667-3682 | |
| (=> (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 |
|
|
|