pacific time zone (PacificTimeZone)
A TimeZone that covers much of the
western part of the United States.
Ontology
SUMO / QUALITIESClass(es)
Coordinate term(s)
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.
Axioms (1)
Agar "relative time fn(time1,pacific time zone)" is equal to time2, to time2 is equal to "(time1+)".
(=>
(equal
(RelativeTimeFn ?TIME1 PacificTimeZone)
?TIME2)
(equal
?TIME2
(AdditionFn ?TIME1 8)))