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 | Railway は LandTransitway の subclass では %n |
(subclass Railway StationaryArtifact) | Transportation.kif 346-346 | Railway は 固定アーチファクト の subclass では %n |
appearance as argument number 2 |
appearance as argument number 3 |
(domain trackWidth 1 Railway) | Transportation.kif 396-396 | trackWidth の数値 1 引数は Railway の instance では %n |
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 | totalLengthOfRailwaySystem 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(=> (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 RailVehicle) (hasPurpose ?X (exists (?EV ?RAIL) (and (instance ?RAIL Railway) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?RAIL)))))) |
Transportation.kif 2036-2045 |