| 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 3312-3313 | |
| (subclass SequenceFunction OneToOneFunction) | Merge.kif 3310-3310 |
| 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 1050-1050 |
| antecedent |
|
|
| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3315-3319 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners