Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - NarrowGauge
NarrowGauge(narrow gauge)
more pictures...

appearance as argument number 1
-------------------------


(instance NarrowGauge TrackGauge) Transportation.kif 447-447 Narrow gauge is an instance of track gauge
(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 Narrow gauge is an instance of track gauge
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ 6AatLakeside.jpg") pictureList.kif 6716-6716 Narrow gauge is an instance of track gauge
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Roslagsbanan.JPG") pictureList.kif 7388-7388 Narrow gauge is an instance of track gauge
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Ffestiniog_DLG_BF.JPG") pictureList.kif 7389-7389 Narrow gauge is an instance of track gauge
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ RovosRailAtPretoria.jpg") pictureList.kif 7390-7390 Narrow gauge is an instance of track gauge
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Waldenburgerbahn.jpg") pictureList.kif 7391-7391 Narrow gauge is an instance of track gauge
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ JRF_EF641024.JPG") pictureList.kif 7392-7392 Narrow gauge is an instance of track gauge
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ TahiLand_RailWay002.JPG") pictureList.kif 7393-7393 Narrow gauge is an instance of track gauge
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ TC_at_Jhutian.jpg") pictureList.kif 7395-7395 Narrow gauge is an instance of track gauge
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Hluz_U34_901.jpg") pictureList.kif 7396-7396 Narrow gauge is an instance of track gauge
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Kalk_Bay_Station_3.jpg") pictureList.kif 7397-7397 Narrow gauge is an instance of track gauge
(externalImage NarrowGauge "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ CombinedTrack.jpg") pictureList.kif 7399-7399 Narrow gauge is an instance of track gauge

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


(termFormat EnglishLanguage NarrowGauge "narrow gauge") domainEnglishFormat.kif 39751-39751
(termFormat ChineseTraditionalLanguage NarrowGauge "窄規") domainEnglishFormat.kif 39752-39752
(termFormat ChineseLanguage NarrowGauge "窄规") domainEnglishFormat.kif 39753-39753

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 If X is an instance of railway, X the attribute narrow gauge, and Y meter(s) is a track width of X, then Y is less than or equal to 1.435