|
|
  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 17257-17258 | |
| (instance PacificTimeZone TimeZone) | Merge.kif 17256-17256 | PacificTimeZone ist ein fall von TimeZone %n{nicht} |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PacificTimeZone "太平洋时区") | domainEnglishFormat.kif 43929-43929 | |
| (termFormat ChineseTraditionalLanguage PacificTimeZone "太平洋時區") | domainEnglishFormat.kif 43928-43928 | |
| (termFormat EnglishLanguage PacificTimeZone "pacific time zone") | domainEnglishFormat.kif 43927-43927 |
| antecedent |
|
|
| (=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?PST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC PacificTimeZone) ?PST)) (equal ?H2 (AdditionFn ?H1 8))) |
Merge.kif 17263-17269 |
|
|
|
|