Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
StandardGauge(standard gauge)
|
| appearance as argument number 1 |
|
| (instance StandardGauge TrackGauge) | Transportation.kif 415-415 | Standard gauge is an instance of track gauge |
| (documentation StandardGauge 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 416-425 | Standard gauge is an instance of track gauge |
| (externalImage StandardGauge "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Rail_gauge_world.png") | pictureList.kif 6891-6891 | Standard gauge is an instance of track gauge |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThanOrEqualTo ?WIDTH 1.435)) |
Transportation.kif 427-433 | If X is an instance of railway, X the attribute standard gauge, and Y meter(s) is a track width of X, then Y is greater than or equal to 1.435 |
| (=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (lessThanOrEqualTo ?WIDTH 1.44)) |
Transportation.kif 435-441 | If X is an instance of railway, X the attribute standard gauge, and Y meter(s) is a track width of X, then Y is less than or equal to 1.44 |
| consequent |
|
|
| (<=> (instance ?RR StandardGaugeRailway) (property ?RR StandardGauge)) |
Transportation.kif 443-445 | X is an instance of standard gauge railway if and only if X the attribute standard gauge |
|