| MountainTimeZone | |
| appearance as argument number 1 |
|
|
| (documentation MountainTimeZone ChineseLanguage "这是覆盖美国大部分洛矶山脉地区的 TimeZone。") | chinese_format.kif 3838-3838 | |
| (documentation MountainTimeZone EnglishLanguage "A TimeZone that covers much of the Rocky Mountain region of the United States.") | Merge.kif 15979-15980 | |
| (instance MountainTimeZone TimeZone) | Merge.kif 15978-15978 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MountainTimeZone "山区时区") | domainEnglishFormat.kif 38887-38887 | |
| (termFormat ChineseTraditionalLanguage MountainTimeZone "山區時區") | domainEnglishFormat.kif 38886-38886 | |
| (termFormat EnglishLanguage MountainTimeZone "mountain time zone") | domainEnglishFormat.kif 38885-38885 |
| antecedent |
|
|
| (=> (equal (RelativeTimeFn ?TIME1 MountainTimeZone) ?TIME2) (equal ?TIME2 (AdditionFn ?TIME1 (MeasureFn 7 HourDuration)))) |
Merge.kif 15982-15984 |
|
|
|