Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance CentralTimeZone TimeZone) Merge.kif 17552-17552 Central time zone is an instance of time zone
(documentation CentralTimeZone EnglishLanguage "A TimeZone that covers much of the midwestern United States.") Merge.kif 17553-17554 Central time zone is an instance of time zone

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


(termFormat EnglishLanguage CentralTimeZone "central time zone") domainEnglishFormat.kif 13908-13908
(termFormat ChineseTraditionalLanguage CentralTimeZone "中央時區") domainEnglishFormat.kif 13909-13909
(termFormat ChineseLanguage CentralTimeZone "中央时区") domainEnglishFormat.kif 13910-13910

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 17556-17562 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone central time zone and Z, then equal W and (Y and 6)


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners