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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BesselsEquation

appearance as argument number 1

(documentation BesselsEquation EnglishLanguage "Bessel's equation") engineering.kif 192-192
(lexicon BesselsEquation LexNoun "Bessel's equation") engineering.kif 193-193
(subclass BesselsEquation NonlinearEquation) engineering.kif 195-195 贝塞尔斯方程非线性方程subclass
(subclass BesselsEquation OrdinaryDifferentialEquation) engineering.kif 194-194 贝塞尔斯方程常微分方程subclass

appearance as argument number 2

(termFormat ChineseLanguage BesselsEquation "贝塞尔斯方程") domainEnglishFormat.kif 10853-10853
(termFormat ChineseTraditionalLanguage BesselsEquation "貝塞爾斯方程") domainEnglishFormat.kif 10852-10852
(termFormat EnglishLanguage BesselsEquation "bessels equation") domainEnglishFormat.kif 10851-10851

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