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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralTimeZone

Sigma KEE - CentralTimeZone
CentralTimeZone

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


(documentation CentralTimeZone ChineseLanguage "这是覆盖美国中西部大部分地区的 TimeZone。") chinese_format.kif 3839-3839
(documentation CentralTimeZone EnglishLanguage "A TimeZone that covers much of the midwestern United States.") Merge.kif 17203-17204
(instance CentralTimeZone TimeZone) Merge.kif 17202-17202

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


(termFormat ChineseLanguage CentralTimeZone "中央时区") domainEnglishFormat.kif 13902-13902
(termFormat ChineseTraditionalLanguage CentralTimeZone "中央時區") domainEnglishFormat.kif 13901-13901
(termFormat EnglishLanguage CentralTimeZone "central time zone") domainEnglishFormat.kif 13900-13900

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


(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?CST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC CentralTimeZone) ?CST))
    (equal ?H2
        (AdditionFn ?H1 6)))
Merge.kif 17206-17212


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

Show without tree


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