more pictures...| NarrowGauge(narrow gauge)
more pictures... |
| appearance as argument number 1 |
|
| (documentation NarrowGauge EnglishLanguage "NarrowGauge is the attribute of any Railway that has a TrackGauge narrower than StandardGauge. There are several common track widths among NarrowGauge railways.") | Transportation.kif 448-451 | |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ 6AatLakeside.jpg") | pictureList.kif 6717-6717 | |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Roslagsbanan.JPG") | pictureList.kif 7389-7389 | |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Ffestiniog_DLG_BF.JPG") | pictureList.kif 7390-7390 | |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ RovosRailAtPretoria.jpg") | pictureList.kif 7391-7391 | |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Waldenburgerbahn.jpg") | pictureList.kif 7392-7392 | |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ JRF-EF641024.JPG") | pictureList.kif 7393-7393 | |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ TahiLand_RailWay002.JPG") | pictureList.kif 7394-7394 | |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ TC_at_Jhutian.jpg") | pictureList.kif 7396-7396 | |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Hluz-U34_901.jpg") | pictureList.kif 7397-7397 | |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Kalk_Bay_Station_3.jpg") | pictureList.kif 7398-7398 | |
| (externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ CombinedTrack.jpg") | pictureList.kif 7400-7400 | |
| (instance NarrowGauge TrackGauge) | Transportation.kif 447-447 | Narrow gauge is an instance of track gauge |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage NarrowGauge "窄规") | domainEnglishFormat.kif 39785-39785 | |
| (termFormat ChineseTraditionalLanguage NarrowGauge "窄規") | domainEnglishFormat.kif 39784-39784 | |
| (termFormat EnglishLanguage NarrowGauge "narrow gauge") | domainEnglishFormat.kif 39783-39783 |
| appearance as argument number 3 |
|
|
| (contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) | Transportation.kif 391-391 | Broad gauge is the opposite of standard gauge |
| antecedent |
|
|
| (=> (and (instance ?RR Railway) (property ?RR NarrowGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (lessThanOrEqualTo ?WIDTH 1.435)) |
Transportation.kif 453-458 |
|
| consequent |
|
|
| (<=> (instance ?RR NarrowGaugeRailway) (property ?RR NarrowGauge)) |
Transportation.kif 460-462 | An entity is an instance of narrow gauge railway if and only if the entity the attribute narrow gauge |
|
|
|