| EasternTimeZone(eastern time zone) | | EST, Eastern_Standard_Time, Eastern_Time |
| appearance as argument number 1 |
|
|
| (documentation EasternTimeZone ChineseLanguage "这是覆盖美国东部大部分地区的 TimeZone。") | chinese_format.kif 3840-3840 | |
| (documentation EasternTimeZone EnglishLanguage "A TimeZone that covers much of the eastern United States.") | Merge.kif 17286-17287 | |
| (instance EasternTimeZone TimeZone) | Merge.kif 17285-17285 | Eastern time zone is an instance of time zone |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EasternTimeZone "东部时区") | domainEnglishFormat.kif 20969-20969 | |
| (termFormat ChineseTraditionalLanguage EasternTimeZone "東部時區") | domainEnglishFormat.kif 20968-20968 | |
| (termFormat EnglishLanguage EasternTimeZone "eastern time zone") | domainEnglishFormat.kif 20967-20967 |
| antecedent |
|
|
| (=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?EST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC EasternTimeZone) ?EST)) (equal ?H2 (AdditionFn ?H1 5))) |
Merge.kif 17289-17295 |
|
|
|
|