| StandardGauge(standard gauge)
|
| appearance as argument number 1 |
|
| s__documentation(s__StandardGauge,s__EnglishLanguage,'"StandardGauge is the attribute of Railways having the standardized track width that is used in North America and most Western European countries. The standard is typically a distance of 4 ft., 8-1/ 2 inches (1.44 meters). There is some variation within which usage is compatible, e.g., 1.35 meters. Standard gauge originated in England and was mandated by the U.S. Federal government for the U.S. Transcontinental Railroad. It is also used in Canada, Great Britain, and most of Western Europe (but not in Ireland, or Spain and Portugal."')
|
Transportation.kif 412-421 | |
| s__externalImage(s__StandardGauge,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Rail_gauge_world.png"')
|
pictureList.kif 6893-6893 | |
| s__instance(s__TrackGauge,s__SetOrClass) s__instance(s__StandardGauge,s__TrackGauge)
|
Transportation.kif 411-411 | Standard gauge is an instance of track gauge |
| appearance as argument number 2 |
|
|
| s__contraryAttribute__4(s__BroadGauge,s__StandardGauge,s__NarrowGauge,s__DualGauge)
|
Transportation.kif 388-388 | Broad gauge is the opposite of standard gauge |
| s__termFormat(s__ChineseLanguage,s__StandardGauge,'"标准规"')
|
domainEnglishFormat.kif 54883-54883 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__StandardGauge,'"標準規"')
|
domainEnglishFormat.kif 54882-54882 | |
| s__termFormat(s__EnglishLanguage,s__StandardGauge,'"standard gauge"')
|
domainEnglishFormat.kif 54881-54881 |
| antecedent |
|
|
| ( ! [V__WIDTH,V__RR] : (s__instance(V__WIDTH,s__LengthMeasure) => (s__instance(V__RR,s__Railway) & s__property(V__RR,s__StandardGauge) & s__trackWidth(V__RR,V__WIDTH)) => s__greaterThanOrEqualTo(V__WIDTH,s__MeasureFn(n__1_435,s__Meter)) ) )
|
Transportation.kif 423-428 |
|
| ( ! [V__WIDTH,V__RR] : (s__instance(V__WIDTH,s__LengthMeasure) => (s__instance(V__RR,s__Railway) & s__property(V__RR,s__StandardGauge) & s__trackWidth(V__RR,V__WIDTH)) => s__lessThanOrEqualTo(V__WIDTH,s__MeasureFn(n__1_44,s__Meter)) ) )
|
Transportation.kif 430-435 |
|
| consequent |
|
|
| ( ! [V__RR] : ((s__instance(V__RR,s__StandardGaugeRailway) => s__property(V__RR,s__StandardGauge)) & (s__property(V__RR,s__StandardGauge) => s__instance(V__RR,s__StandardGaugeRailway)) ) )
|
Transportation.kif 437-439 | An entity is an instance of standard gauge railway if and only if the entity the attribute standard gauge |
|
|
|