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 | 子類 鐵路 and 陸地過境通道 |
(subclass Railway StationaryArtifact) | Transportation.kif 346-346 | 子類 鐵路 and StationaryArtifact |
appearance as argument number 2 |
(subclass BroadGaugeRailway Railway) | Transportation.kif 353-353 | 子類 寬軌鐵路 and 鐵路 |
(subclass DualGaugeRailway Railway) | Transportation.kif 354-354 | 子類 DualGaugeRailway and 鐵路 |
(subclass ElectrifiedRailway Railway) | Transportation.kif 358-358 | 子類 電氣化鐵路 and 鐵路 |
(subclass MultipleTrackRailway Railway) | Transportation.kif 362-362 | 子類 多軌鐵路 and 鐵路 |
(subclass NarrowGaugeRailway Railway) | Transportation.kif 355-355 | 子類 窄軌鐵路 and 鐵路 |
(subclass RailJunction Railway) | Transportation.kif 2977-2977 | 子類 鐵路樞紐 and 鐵路 |
(subclass StandardGaugeRailway Railway) | Transportation.kif 356-356 | 子類 標準軌距鐵路 and 鐵路 |
(termFormat ChineseLanguage Railway "铁路") | domainEnglishFormat.kif 48674-48674 | |
(termFormat ChineseTraditionalLanguage Railway "鐵路") | domainEnglishFormat.kif 48673-48673 | |
(termFormat EnglishLanguage Railway "railway") | domainEnglishFormat.kif 48672-48672 |
appearance as argument number 3 |
(domain trackWidth 1 Railway) | Transportation.kif 396-396 | 域 軌道寬度, 1 and 鐵路 |
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 |