| PacificTimeZone | |
| appearance as argument number 1 |
|
|
| (documentation PacificTimeZone ChineseLanguage "这是覆盖美国西部大部分地区的 TimeZone。") | chinese_format.kif 3837-3837 | |
| (documentation PacificTimeZone EnglishLanguage "A TimeZone that covers much of the western part of the United States.") | Merge.kif 15971-15972 | |
| (instance PacificTimeZone TimeZone) | Merge.kif 15970-15970 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PacificTimeZone "太平洋时区") | domainEnglishFormat.kif 43789-43789 | |
| (termFormat ChineseTraditionalLanguage PacificTimeZone "太平洋時區") | domainEnglishFormat.kif 43788-43788 | |
| (termFormat EnglishLanguage PacificTimeZone "pacific time zone") | domainEnglishFormat.kif 43787-43787 |
| antecedent |
|
|
| (=> (equal (RelativeTimeFn ?TIME1 PacificTimeZone) ?TIME2) (equal ?TIME2 (AdditionFn ?TIME1 (MeasureFn 8 HourDuration)))) |
Merge.kif 15974-15976 |
|
|
|