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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3475-3477
(documentation ContinuousFunction JapaneseLanguage "Functions は連続している。この概念は、 限界の表現が考案されるまで、プリミティブと見なされる。") japanese_format.kif 649-650
(subclass ContinuousFunction Function) Merge.kif 3473-3473

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


(termFormat ChineseLanguage ContinuousFunction "连续函数") chinese_format.kif 925-925
(termFormat EnglishLanguage ContinuousFunction "continuous function") english_format.kif 1057-1057
(termFormat FrenchLanguage ContinuousFunction "fonction continue") french_format.kif 601-601
(termFormat Hindi ContinuousFunction "nirantara prakaarya") terms-hindi.txt 131-131
(termFormat ItalianLanguage ContinuousFunction "FunzioneContinua") terms-it.txt 134-134
(termFormat JapaneseLanguage ContinuousFunction "連続関数") japanese_format.kif 2286-2286
(termFormat PortugueseLanguage ContinuousFunction "Funcao Continua") portuguese_format.kif 553-553
(termFormat cb ContinuousFunction "padayong kalihukan") terms-cb.txt 136-136
(termFormat cz ContinuousFunction "continuous function") terms-cz.txt 168-168
(termFormat ro ContinuousFunction "funcþie continuã") relations-ro.kif 622-622
(termFormat tg ContinuousFunction "gawaing walang tigil") terms-tg.txt 135-135


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