MountainTimeZone - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MountainTimeZone ChineseLanguage "这是覆盖美国大部分洛矶山脉地区的 TimeZone。")	chinese_format.kif 3838-3838
(documentation MountainTimeZone EnglishLanguage "A TimeZone that covers much of the Rocky Mountain region of the United States.")	Merge.kif 17351-17352
(instance MountainTimeZone TimeZone)	Merge.kif 17350-17350	Mountain time zone is an instance of time zone

appearance as argument number 2

(termFormat ChineseLanguage MountainTimeZone "山区时区")	domainEnglishFormat.kif 39019-39019
(termFormat ChineseTraditionalLanguage MountainTimeZone "山區時區")	domainEnglishFormat.kif 39018-39018
(termFormat EnglishLanguage MountainTimeZone "mountain time zone")	domainEnglishFormat.kif 39017-39017

antecedent

(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?MST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC MountainTimeZone) ?MST))
    (equal ?H2
        (AdditionFn ?H1 7)))

Merge.kif 17354-17360

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 mountain time zone is equal to the other time position,
then the other nonnegative integer is equal to (the nonnegative integer and 7)

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: