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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VarianceAverageFn

Sigma KEE - VanderpolsEquation
VanderpolsEquation

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


(documentation VanderpolsEquation EnglishLanguage "Bessel's equation") engineering.kif 197-197
(lexicon VanderpolsEquation LexNoun "{Van der Pol's} equation") engineering.kif 198-198
(subclass VanderpolsEquation NonlinearEquation) engineering.kif 200-200
(subclass VanderpolsEquation OrdinaryDifferentialEquation) engineering.kif 199-199

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


(termFormat ChineseLanguage VanderpolsEquation "范德波尔斯方程") domainEnglishFormat.kif 61234-61234
(termFormat ChineseTraditionalLanguage VanderpolsEquation "范德波爾斯方程") domainEnglishFormat.kif 61233-61233
(termFormat EnglishLanguage VanderpolsEquation "vanderpols equation") domainEnglishFormat.kif 61232-61232


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