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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContinuousFunction

Sigma KEE - ContinuousFunction
ContinuousFunction(连续函数)

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


(documentation ContinuousFunction ChineseLanguage "这是连续的 Function,直到得出了它的极限, 这个概念会被看成为原函数。") chinese_format.kif 2010-2011
(documentation ContinuousFunction EnglishLanguage "Functions which are continuous. This concept is taken as primitive until representations for limits are devised.") Merge.kif 3408-3410
(subclass ContinuousFunction Function) Merge.kif 3406-3406 连续函数函数subclass

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


(termFormat ChineseLanguage ContinuousFunction "连续函数") chinese_format.kif 925-925
(termFormat EnglishLanguage ContinuousFunction "continuous function") english_format.kif 1057-1057


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