Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

eastern time zone (EasternTimeZone)

A TimeZone that covers much of the eastern United States.

Ontology

SUMO / QUALITIES

Class(es)

time zone
is instance of
  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.
Eastern Time is kind of (all)...   Eastern Time is kind of...  

Axioms (1)

If "relative time fn(time1,eastern time zone)" is equal to time2, then time2 is equal to "(time1+)". 
(=>
      (equal
            (RelativeTimeFn ?TIME1 EasternTimeZone)
            ?TIME2)
      (equal
            ?TIME2
            (AdditionFn ?TIME1 5)))