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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CentralTimeZone
CentralTimeZone(central time zone)CST, Central_Standard_Time, Central_Time

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 17274-17275
(instance CentralTimeZone TimeZone) Merge.kif 17273-17273 Central time zone is an instance of time zone

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 17277-17283


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