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


KB Term:  Term intersection
English Word: 

  trackWidth

 Sigma KEE - trackWidth
trackWidth

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


(instance trackWidth BinaryPredicate) Transportation.kif 392-392 track width is an instance of binary predicate
(subrelation trackWidth measure) Transportation.kif 393-393 track width is a subrelation of measure
(documentation trackWidth EnglishLanguage "The distance between the two rails of a Railway.") Transportation.kif 394-395 track width is a subrelation of measure
(domain trackWidth 1 Railway) Transportation.kif 396-396 The number 1 argument of track width is an instance of railway
(domain trackWidth 2 LengthMeasure) Transportation.kif 397-397 The number 2 argument of track width is an instance of length measure

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


(format EnglishLanguage trackWidth "%2 is %n a track width of %1") domainEnglishFormat.kif 2529-2529
(format ChineseTraditionalLanguage trackWidth "%2 %n 是 %1 的 track 寬度") domainEnglishFormat.kif 2530-2530
(format ChineseLanguage trackWidth "%2 %n 是 %1 的 track 宽度") domainEnglishFormat.kif 2531-2531
(termFormat EnglishLanguage trackWidth "track width") domainEnglishFormat.kif 58723-58723
(termFormat ChineseTraditionalLanguage trackWidth "軌道寬度") domainEnglishFormat.kif 58724-58724
(termFormat ChineseLanguage trackWidth "轨道宽度") domainEnglishFormat.kif 58725-58725

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


(=>
    (and
        (instance ?RR Railway)
        (property ?RR BroadGauge)
        (trackWidth ?RR
            (MeasureFn ?WIDTH Meter)))
    (greaterThan ?WIDTH 1.44))		 Transportation.kif 403-409 If X is an instance of railway, X the attribute broad gauge, and Y meter(s) is a track width of X, then Y is greater than 1.44
(=>
    (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
(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners