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 | |
(format FrenchLanguage RelativeTimeFn "le temps %1 dans la zone %2") | french_format.kif 358-358 | |
(format ItalianLanguage RelativeTimeFn "") | relations-it.txt 251-251 | |
(format JapaneseLanguage RelativeTimeFn "ゾーン %2 の時間 %1") | japanese_format.kif 2101-2101 | |
(format PortugueseLanguage RelativeTimeFn "o tempo %1 na zona %2") | portuguese_format.kif 310-310 | |
(format de RelativeTimeFn "") | relations-de.txt 782-782 | |
(format ro RelativeTimeFn "ora %1 în zona %2") | relations-ro.kif 380-380 | |
(format sv RelativeTimeFn "tiden %1 i zon %2") | relations-sv.txt 399-399 | |
(termFormat ChineseLanguage RelativeTimeFn "相对时间") | domainEnglishFormat.kif 49367-49367 | |
(termFormat ChineseLanguage RelativeTimeFn "相对时间函数") | chinese_format.kif 597-597 | |
(termFormat ChineseTraditionalLanguage RelativeTimeFn "相對時間") | domainEnglishFormat.kif 49366-49366 | |
(termFormat EnglishLanguage RelativeTimeFn "relative time") | domainEnglishFormat.kif 49365-49365 |
antecedent |
![]() |
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?CST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC CentralTimeZone) ?CST)) (equal ?H2 (AdditionFn ?H1 6))) |
Merge.kif 17091-17097 | |
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?EST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC EasternTimeZone) ?EST)) (equal ?H2 (AdditionFn ?H1 5))) |
Merge.kif 17103-17109 | |
(=> (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 17079-17085 | |
(=> (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 17067-17073 |
![]() |
![]() |