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