| BroadGauge(broad gauge)
|
| appearance as argument number 1 |
|
| (contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) | Transportation.kif 391-391 | Broad gauge is the opposite of standard gauge |
| (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 5893-5893 | |
| (externalImage BroadGauge "http://upload.wikimedia.org/wikipedia/commons/ 7/ 78/ Farranfore_train_station.jpg") | pictureList.kif 6220-6220 | |
| (instance BroadGauge TrackGauge) | Transportation.kif 399-399 | Broad gauge is an instance of track gauge |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BroadGauge "宽规") | domainEnglishFormat.kif 12041-12041 | |
| (termFormat ChineseTraditionalLanguage BroadGauge "寬規") | domainEnglishFormat.kif 12040-12040 | |
| (termFormat EnglishLanguage BroadGauge "broad gauge") | domainEnglishFormat.kif 12039-12039 |
| 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 | An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge |
|
|
|