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 3317-3318 | |
(subclass SequenceFunction OneToOneFunction) | Merge.kif 3315-3315 |
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 |
antecedent |
![]() |
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3320-3324 |
![]() |
![]() |