| 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 344-348 | |
| (externalImage Railway "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d1/ 08_tory_railtrack_ubt.jpeg/ 120px-08_tory_railtrack_ubt.jpeg") | pictureList.kif 1229-1229 | |
| (subclass Railway LandTransitway) | Transportation.kif 342-342 | |
| (subclass Railway StationaryArtifact) | Transportation.kif 343-343 |
| appearance as argument number 2 |
|
|
| (subclass BroadGaugeRailway Railway) | Transportation.kif 350-350 | |
| (subclass DualGaugeRailway Railway) | Transportation.kif 351-351 | |
| (subclass ElectrifiedRailway Railway) | Transportation.kif 355-355 | |
| (subclass MultipleTrackRailway Railway) | Transportation.kif 359-359 | |
| (subclass NarrowGaugeRailway Railway) | Transportation.kif 352-352 | |
| (subclass RailJunction Railway) | Transportation.kif 2955-2955 | |
| (subclass StandardGaugeRailway Railway) | Transportation.kif 353-353 | |
| (termFormat ChineseLanguage Railway "铁路") | domainEnglishFormat.kif 48602-48602 | |
| (termFormat ChineseTraditionalLanguage Railway "鐵路") | domainEnglishFormat.kif 48601-48601 | |
| (termFormat EnglishLanguage Railway "railway") | domainEnglishFormat.kif 48600-48600 |
| appearance as argument number 3 |
|
|
| (domain trackWidth 1 Railway) | Transportation.kif 393-393 |
| antecedent |
|
|
| (=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR ?WIDTH)) (greaterThan ?WIDTH (MeasureFn 1.44 Meter))) |
Transportation.kif 400-405 | |
| (=> (and (instance ?RR Railway) (property ?RR NarrowGauge) (trackWidth ?RR ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 1.435 Meter))) |
Transportation.kif 447-452 | |
| (=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR ?WIDTH)) (greaterThanOrEqualTo ?WIDTH (MeasureFn 1.435 Meter))) |
Transportation.kif 423-428 | |
| (=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 1.44 Meter))) |
Transportation.kif 430-435 |
| consequent |
|
|
| (<=> (totalLengthOfRailwaySystem ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS Railway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 98-105 | |
| (=> (and (lengthOfUnclassifiedGaugeRailway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY Railway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 305-313 | |
| (=> (and (totalLengthOfRailwaySystem ?AREA ?LENGTH) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY Railway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 107-114 | |
| (=> (instance ?X RailVehicle) (hasPurpose ?X (exists (?EV ?RAIL) (and (instance ?RAIL Railway) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?RAIL)))))) |
Transportation.kif 2026-2035 |
|
|
|