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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrdinaryDifferentialEquation

Sigma KEE - OrdinaryDifferentialEquation
OrdinaryDifferentialEquation(常微分方程)

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


(documentation OrdinaryDifferentialEquation EnglishLanguage "A DifferentialEquation that is not a PartialDifferentialEquation.") engineering.kif 186-187
(subclass OrdinaryDifferentialEquation DifferentialEquation) engineering.kif 188-188 子類 常微分方程 and 微分方程

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


(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 190-190 不相交分解 微分方程, 常微分方程 and 偏微分方程
(subclass BesselsEquation OrdinaryDifferentialEquation) engineering.kif 194-194 子類 貝塞爾斯方程 and 常微分方程
(subclass VanderpolsEquation OrdinaryDifferentialEquation) engineering.kif 199-199 子類 范德波爾斯方程 and 常微分方程
(termFormat ChineseLanguage OrdinaryDifferentialEquation "常微分方程") domainEnglishFormat.kif 42462-42462
(termFormat ChineseTraditionalLanguage OrdinaryDifferentialEquation "常微分方程") domainEnglishFormat.kif 42461-42461
(termFormat EnglishLanguage OrdinaryDifferentialEquation "ordinary differential equation") domainEnglishFormat.kif 42460-42460


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