SequenceFunction |
appearance as argument number 1 |
(documentation SequenceFunction ChineseLanguage "这是 OneToOneFunction Class, 它的范围 是 PositiveInteger 的子类别。") | chinese_format.kif 1997-1998 | |
(documentation SequenceFunction EnglishLanguage "The Class of OneToOneFunctions whose rangeis a subclass of the PositiveIntegers.") | Merge.kif 3390-3391 | |
(documentation SequenceFunction JapaneseLanguage "OneToOneFunctions の Class範囲は PositiveInteger のサブクラスである。") | japanese_format.kif 633-634 | |
(subclass SequenceFunction OneToOneFunction) | Merge.kif 3388-3388 |
appearance as argument number 2 |
(format ChineseLanguage SequenceFunction "%1 的 sequence 功能") | domainEnglishFormat.kif 2247-2247 | |
(format ChineseTraditionalLanguage SequenceFunction "%1 的 sequence 功能") | domainEnglishFormat.kif 2246-2246 | |
(format EnglishLanguage SequenceFunction "the sequence function of %1") | domainEnglishFormat.kif 2245-2245 | |
(termFormat ChineseLanguage SequenceFunction "序列函数") | chinese_format.kif 919-919 | |
(termFormat EnglishLanguage SequenceFunction "sequence function") | english_format.kif 1045-1045 | |
(termFormat FrenchLanguage SequenceFunction "sequence function s�quence") | french_format.kif 595-595 | |
(termFormat Hindi SequenceFunction "anukrama prakaarya") | terms-hindi.txt 125-125 | |
(termFormat ItalianLanguage SequenceFunction "FunzioneSequenza") | terms-it.txt 128-128 | |
(termFormat JapaneseLanguage SequenceFunction "配列関数") | japanese_format.kif 2280-2280 | |
(termFormat PortugueseLanguage SequenceFunction "Funcao Sequencia") | portuguese_format.kif 547-547 | |
(termFormat cz SequenceFunction "sequence function") | terms-cz.txt 162-162 | |
(termFormat ro SequenceFunction "funcþie injectivã definitã pe o mulþime numãrabilã") | relations-ro.kif 616-616 | |
(termFormat tg SequenceFunction "sunod-sunod na tungkulin") | terms-tg.txt 129-129 |
antecedent |
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3393-3397 |