Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NarrowGauge
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 442-445
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ 6AatLakeside.jpg") pictureList.kif 6718-6718 externalImage NarrowGauge and "http://upload.wikimedia.org/wikipedia/commons/2/21/ 6AatLakeside.jpg"
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Roslagsbanan.JPG") pictureList.kif 7391-7391 externalImage NarrowGauge and "http://upload.wikimedia.org/wikipedia/commons/2/28/ Roslagsbanan.JPG"
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Ffestiniog_DLG_BF.JPG") pictureList.kif 7392-7392 externalImage NarrowGauge and "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Ffestiniog_DLG_BF.JPG"
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ RovosRailAtPretoria.jpg") pictureList.kif 7393-7393 externalImage NarrowGauge and "http://upload.wikimedia.org/wikipedia/commons/6/61/ RovosRailAtPretoria.jpg"
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Waldenburgerbahn.jpg") pictureList.kif 7394-7394 externalImage NarrowGauge and "http://upload.wikimedia.org/wikipedia/commons/6/68/ Waldenburgerbahn.jpg"
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ JRF-EF641024.JPG") pictureList.kif 7395-7395 externalImage NarrowGauge and "http://upload.wikimedia.org/wikipedia/commons/a/a9/ JRF-EF641024.JPG"
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ TahiLand_RailWay002.JPG") pictureList.kif 7396-7396 externalImage NarrowGauge and "http://upload.wikimedia.org/wikipedia/commons/a/af/ TahiLand_RailWay002.JPG"
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ TC_at_Jhutian.jpg") pictureList.kif 7398-7398 externalImage NarrowGauge and "http://upload.wikimedia.org/wikipedia/commons/c/cb/ TC_at_Jhutian.jpg"
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Hluz-U34_901.jpg") pictureList.kif 7399-7399 externalImage NarrowGauge and "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Hluz-U34_901.jpg"
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Kalk_Bay_Station_3.jpg") pictureList.kif 7400-7400 externalImage NarrowGauge and "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Kalk_Bay_Station_3.jpg"
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ CombinedTrack.jpg") pictureList.kif 7402-7402 externalImage NarrowGauge and "http://upload.wikimedia.org/wikipedia/commons/f/fd/ CombinedTrack.jpg"
(instance NarrowGauge TrackGauge) Transportation.kif 441-441 NarrowGaugeTrackGaugeinstance では %n

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage NarrowGauge "窄规") domainEnglishFormat.kif 39667-39667 termFormat ChineseLanguage, NarrowGauge and "窄规"
(termFormat ChineseTraditionalLanguage NarrowGauge "窄規") domainEnglishFormat.kif 39666-39666 termFormat ChineseTraditionalLanguage, NarrowGauge and "窄規"
(termFormat EnglishLanguage NarrowGauge "narrow gauge") domainEnglishFormat.kif 39665-39665 termFormat EnglishLanguage, NarrowGauge and "narrow gauge"

appearance as argument number 3
-------------------------


(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 388-388 BroadGaugeStandardGaugedisjoint では %n

antecedent
-------------------------


(=>
    (and
        (instance ?RR Railway)
        (property ?RR NarrowGauge)
        (trackWidth ?RR ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 1.435 Meter)))
Transportation.kif 447-452