Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SequenceFunction(sequence function) |
| appearance as argument number 1 |
|
| (subclass SequenceFunction OneToOneFunction) | Merge.kif 3500-3500 | Sequence function is a subclass of one to one function |
| (documentation SequenceFunction EnglishLanguage "The Class of OneToOneFunctions whose rangeis a subclass of the PositiveIntegers.") | Merge.kif 3502-3503 | Sequence function is a subclass of one to one function |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage SequenceFunction "the sequence function of %1") | domainEnglishFormat.kif 2249-2249 | |
| (format ChineseTraditionalLanguage SequenceFunction "%1 的 sequence 功能") | domainEnglishFormat.kif 2250-2250 | |
| (format ChineseLanguage SequenceFunction "%1 的 sequence 功能") | domainEnglishFormat.kif 2251-2251 | |
| (termFormat EnglishLanguage SequenceFunction "sequence function") | english_format.kif 1049-1049 |
| antecedent |
|
|
| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3505-3509 | If X is an instance of sequence function and the range of X is an instance of Y, then Y is a subclass of integer |
|