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