Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PacificTimeZone
PacificTimeZone

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 17176-17177
(instance PacificTimeZone TimeZone) Merge.kif 17175-17175 PacificTimeZoneタイムゾーンinstance では %n

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


(termFormat ChineseLanguage PacificTimeZone "太平洋时区") domainEnglishFormat.kif 43896-43896
(termFormat ChineseTraditionalLanguage PacificTimeZone "太平洋時區") domainEnglishFormat.kif 43895-43895
(termFormat EnglishLanguage PacificTimeZone "pacific time zone") domainEnglishFormat.kif 43894-43894

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 17182-17188


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