| 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 | Sequence function is a subclass of one to one function |
| 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 |
|
|
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