IntervalFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage IntervalFn "由 %1 和 %2 之间的值") | chinese_format.kif 651-651 | |
(format EnglishLanguage IntervalFn "the interval from %1 to %2") | english_format.kif 654-654 | |
(format FrenchLanguage IntervalFn "l' interval entre %1 et %2") | french_format.kif 392-392 | |
(format ItalianLanguage IntervalFn "l' intervallo da %1 a %2") | relations-it.txt 154-154 | |
(format JapaneseLanguage IntervalFn "%1 から %2 までの interval") | japanese_format.kif 2122-2122 | |
(format PortugueseLanguage IntervalFn "o intervalo entre %1 e %2") | portuguese_format.kif 344-344 | |
(format de IntervalFn "der zeitabstand von %1 nach %2") | relations-de.txt 851-851 | |
(format hi IntervalFn "%1 se %2 taka kaa antaraala") | relations-hindi.txt 193-193 | |
(format ro IntervalFn "interval%t{intervalul} de la %1 la %2") | relations-ro.kif 414-414 | |
(format sv IntervalFn "intervallet från %1 till %2") | relations-sv.txt 435-435 | |
(format tg IntervalFn "ang patlang sa %1 at %2") | relations-tg.txt 310-310 | |
(termFormat ChineseLanguage IntervalFn "间隔") | domainEnglishFormat.kif 30763-30763 | |
(termFormat ChineseLanguage IntervalFn "间隔函数") | chinese_format.kif 652-652 | |
(termFormat ChineseTraditionalLanguage IntervalFn "間隔") | domainEnglishFormat.kif 30762-30762 | |
(termFormat EnglishLanguage IntervalFn "interval") | domainEnglishFormat.kif 30761-30761 | |
(termFormat tg IntervalFn "tungkulin pagitan") | relations-tg.txt 311-311 |
antecedent |
(=> (and (instance ?QUANTITY (IntervalFn ?FROM ?TO)) (instance ?FROM ?CLASS) (instance ?TO ?CLASS)) (instance ?QUANTITY ?CLASS)) |
Merge.kif 6597-6602 |
|
consequent |