pacific time zone (PacificTimeZone)

A TimeZone that covers much of the western part of the United States.

Ontologie

SUMO / QUALITIES

Class(es)

časové pásmo

pacific time zone

Související termín(y)

central time zone coordinated universal time zone eastern time zone mountain time zone

Related WordNet synsets

Pacific Time, Pacific Standard Time, PST: time of the 120th meridian, used in far western states of the U.S.

Axiomy (1)

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

(=>
      (equal
            (RelativeTimeFn ?TIME1 PacificTimeZone)
            ?TIME2)
      (equal
            ?TIME2
            (AdditionFn ?TIME1 8)))