eastern time zone (EasternTimeZone)

A TimeZone that covers much of the eastern United States.

Ontology

SUMO / QUALITIES

Class(es)

samaya mandala

eastern time zone

Coordinate term(s)

central time zone coordinated universal time zone mountain time zone pacific time zone

Related WordNet synsets

Eastern Time, Eastern Standard Time, EST: time of the 75th meridian, fifth time zone west of Greenwich, used in the eastern U.S.

Axioms (1)

Agar "relative time fn(time1,eastern time zone)" is equal to time2, to time2 is equal to "(time1+)".

(=>
      (equal
            (RelativeTimeFn ?TIME1 EasternTimeZone)
            ?TIME2)
      (equal
            ?TIME2
            (AdditionFn ?TIME1 5)))