EasternTimeZone - Sigma Knowledge base Browser

appearance as argument number 1

(documentation EasternTimeZone ChineseLanguage "这是覆盖美国东部大部分地区的 TimeZone。")	chinese_format.kif 3840-3840
(documentation EasternTimeZone EnglishLanguage "A TimeZone that covers much of the eastern United States.")	Merge.kif 17311-17312
(instance EasternTimeZone TimeZone)	Merge.kif 17310-17310	Eastern time zone is an instance of time zone

appearance as argument number 2

(termFormat ChineseLanguage EasternTimeZone "东部时区")	domainEnglishFormat.kif 20973-20973
(termFormat ChineseTraditionalLanguage EasternTimeZone "東部時區")	domainEnglishFormat.kif 20972-20972
(termFormat EnglishLanguage EasternTimeZone "eastern time zone")	domainEnglishFormat.kif 20971-20971

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 17314-17320

If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone eastern time zone is equal to the other time position,
then the other nonnegative integer is equal to (the nonnegative integer 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: