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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SequenceFunction
SequenceFunction(sequence function)تَابِع تَسَلْسُلِي, Funcao_Sequencia, FunzioneSequenza, anukrama_prakaarya, sequence_function, sequence_function_s�quence, sunod-sunod_na_tungkulin, 序列函数

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3456-3457
No TPTP formula. May not be expressible in strict first order. Merge.kif 3454-3455
No TPTP formula. May not be expressible in strict first order. Merge.kif 3453-3453 Sequence function is a subclass of one to one function

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 569-569
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 919-919 "序列函数" is the printable form of sequence function in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 606-606 "sequence function" is the printable form of sequence function in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 595-595 "sequence function s�quence" is the printable form of sequence function in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 125-125 "anukrama prakaarya" is the printable form of sequence function in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 126-126 "FunzioneSequenza" is the printable form of sequence function in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 547-547 "Funcao Sequencia" is the printable form of sequence function in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 331-331 "تَابِع تَسَلْسُلِي" is the printable form of sequence function in ar
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 162-162 "sequence function" is the printable form of sequence function in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 129-129 "sunod-sunod na tungkulin" is the printable form of sequence function in tg

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3459-3463


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners