eastern time zone (EasternTimeZone)

A TimeZone that covers much of the eastern United States.

Ontology

SUMO / QUALITIES

Class(es)

FusoOrario

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)

Se "relative time fn(time1,eastern time zone)" is uguale a time2, allora time2 is uguale a "(time1+".

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