NarrowGauge 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 |
appearance as argument number 2 |
(termFormat ChineseLanguage NarrowGauge "窄规") | domainEnglishFormat.kif 39749-39749 | |
(termFormat ChineseTraditionalLanguage NarrowGauge "窄規") | domainEnglishFormat.kif 39748-39748 | |
(termFormat EnglishLanguage NarrowGauge "narrow gauge") | domainEnglishFormat.kif 39747-39747 |
appearance as argument number 3 |
(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) | Transportation.kif 391-391 |
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 |