Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - EasternTimeZone
EasternTimeZone(eastern time zone)EST, Eastern_Standard_Time, Eastern_Time

appearance as argument number 1
-------------------------


(instance EasternTimeZone TimeZone) Merge.kif 17564-17564 Eastern time zone is an instance of time zone
(documentation EasternTimeZone EnglishLanguage "A TimeZone that covers much of the eastern United States.") Merge.kif 17565-17566 Eastern time zone is an instance of time zone

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage EasternTimeZone "eastern time zone") domainEnglishFormat.kif 20958-20958
(termFormat ChineseTraditionalLanguage EasternTimeZone "東部時區") domainEnglishFormat.kif 20959-20959
(termFormat ChineseLanguage EasternTimeZone "东部时区") domainEnglishFormat.kif 20960-20960

antecedent
-------------------------


(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?EST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC EasternTimeZone) ?EST))
    (equal ?H2
        (AdditionFn ?H1 5)))		 Merge.kif 17568-17574 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone eastern time zone and Z, then equal W and (Y and 5)


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners