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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VanderpolsEquation

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 VanderpolsEquation est une sous-classe de NonlinearEquation
(subclass VanderpolsEquation OrdinaryDifferentialEquation) engineering.kif 199-199 VanderpolsEquation est une sous-classe de OrdinaryDifferentialEquation

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


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


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