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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 3361-3363
(subclass ContinuousFunction Function) Merge.kif 3359-3359

appearance as argument number 2

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

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