RelativeTimeFn |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage RelativeTimeFn "时间 %1 在 时区 %2") | chinese_format.kif 596-596 | |
(format EnglishLanguage RelativeTimeFn "the time %1 in zone %2") | english_format.kif 599-599 | |
(termFormat ChineseLanguage RelativeTimeFn "相对时间") | domainEnglishFormat.kif 49329-49329 | |
(termFormat ChineseLanguage RelativeTimeFn "相对时间函数") | chinese_format.kif 597-597 | |
(termFormat ChineseTraditionalLanguage RelativeTimeFn "相對時間") | domainEnglishFormat.kif 49328-49328 | |
(termFormat EnglishLanguage RelativeTimeFn "relative time") | domainEnglishFormat.kif 49327-49327 |
antecedent |
![]() |
(=> (equal (RelativeTimeFn (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y)))) CentralTimeZone) (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal ?H2 (AdditionFn ?H1 6))) |
Merge.kif 16934-16946 | |
(=> (equal (RelativeTimeFn (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y)))) EasternTimeZone) (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal ?H2 (AdditionFn ?H1 5))) |
Merge.kif 16952-16964 | |
(=> (equal (RelativeTimeFn (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y)))) MountainTimeZone) (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal ?H2 (AdditionFn ?H1 7))) |
Merge.kif 16916-16928 | |
(=> (equal (RelativeTimeFn (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y)))) PacificTimeZone) (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal ?H2 (AdditionFn ?H1 8))) |
Merge.kif 16898-16910 |
![]() |
![]() |