mountain time zone (MountainTimeZone)

A TimeZone that covers much of the Rocky Mountain region of the United States.

Ontologie

SUMO / QUALITIES

Class(es)

časové pásmo

mountain time zone

Související termín(y)

central time zone coordinated universal time zone eastern time zone pacific time zone

Related WordNet synsets

Mountain Time, Mountain Standard Time, MST: time of the 105th meridian, used in the mountain states of the U.S.

Axiomy (1)

Jestliže "relative time fn(time1,mountain time zone)" se rovná time2, potom time2 se rovná "(time1+)".

(=>
      (equal
            (RelativeTimeFn ?TIME1 MountainTimeZone)
            ?TIME2)
      (equal
            ?TIME2
            (AdditionFn ?TIME1 7)))