| MountainTimeZone(mountain time zone) | | MST, Mountain_Standard_Time, Mountain_Time |
| 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 17287-17288 | |
| (instance MountainTimeZone TimeZone) | Merge.kif 17286-17286 | Mountain time zone is an instance of time zone |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MountainTimeZone "山区时区") | domainEnglishFormat.kif 39019-39019 | |
| (termFormat ChineseTraditionalLanguage MountainTimeZone "山區時區") | domainEnglishFormat.kif 39018-39018 | |
| (termFormat EnglishLanguage MountainTimeZone "mountain time zone") | domainEnglishFormat.kif 39017-39017 |
| antecedent |
|
|
| (=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?MST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC MountainTimeZone) ?MST)) (equal ?H2 (AdditionFn ?H1 7))) |
Merge.kif 17290-17296 |
|
|
|
|