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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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