PacificTimeZone - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PacificTimeZone ChineseLanguage "这是覆盖美国西部大部分地区的 TimeZone。")	chinese_format.kif 3837-3837
(documentation PacificTimeZone EnglishLanguage "A TimeZone that covers much of the western part of the United States.")	Merge.kif 17247-17248
(instance PacificTimeZone TimeZone)	Merge.kif 17246-17246	Pacific time zone is an instance of time zone

appearance as argument number 2

(termFormat ChineseLanguage PacificTimeZone "太平洋时区")	domainEnglishFormat.kif 43934-43934
(termFormat ChineseTraditionalLanguage PacificTimeZone "太平洋時區")	domainEnglishFormat.kif 43933-43933
(termFormat EnglishLanguage PacificTimeZone "pacific time zone")	domainEnglishFormat.kif 43932-43932

antecedent

(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?PST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC PacificTimeZone) ?PST))
    (equal ?H2
        (AdditionFn ?H1 8)))

Merge.kif 17253-17259

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

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: