| BroadGauge
|
| appearance as argument number 1 |
|
| (contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) | Transportation.kif 391-391 | |
| (documentation BroadGauge EnglishLanguage "BroadGauge is the attribute of any Railway that has a TrackGauge wider than StandardGauge.") | Transportation.kif 400-401 | |
| (externalImage BroadGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ GWR_broad_gauge_locomotives.jpg") | pictureList.kif 5892-5892 | |
| (externalImage BroadGauge "http://upload.wikimedia.org/wikipedia/commons/ 7/ 78/ Farranfore_train_station.jpg") | pictureList.kif 6219-6219 | |
| (instance BroadGauge TrackGauge) | Transportation.kif 399-399 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BroadGauge "宽规") | domainEnglishFormat.kif 12052-12052 | |
| (termFormat ChineseTraditionalLanguage BroadGauge "寬規") | domainEnglishFormat.kif 12051-12051 | |
| (termFormat EnglishLanguage BroadGauge "broad gauge") | domainEnglishFormat.kif 12050-12050 |
| antecedent |
|
|
| (=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThan ?WIDTH 1.44)) |
Transportation.kif 403-409 |
| consequent |
|
|
| (<=> (instance ?RR BroadGaugeRailway) (property ?RR BroadGauge)) |
Transportation.kif 411-413 |
|
|
|