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 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 | 宽规 是 轨距 的 instance |
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 | 实体 是 宽轨铁路 的 instance 若且唯若 那个 实体 有 宽规 的 attribute |