Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SequenceFunction

Sigma KEE - SequenceFunction
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 3389-3390
(documentation SequenceFunction JapaneseLanguage "OneToOneFunctions の Class範囲は PositiveInteger のサブクラスである。") japanese_format.kif 633-634
(subclass SequenceFunction OneToOneFunction) Merge.kif 3387-3387

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 3392-3396


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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