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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrdinaryDifferentialEquation
OrdinaryDifferentialEquation(ordinary differential equation)

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


(documentation OrdinaryDifferentialEquation EnglishLanguage "A DifferentialEquation that is not a PartialDifferentialEquation.") engineering.kif 185-186
(subclass OrdinaryDifferentialEquation DifferentialEquation) engineering.kif 187-187 Ordinary differential equation is a subclass of differential equation

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


(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 189-189 Differential equation is disjointly decomposed into ordinary differential equation and partial differential equation
(subclass BesselsEquation OrdinaryDifferentialEquation) engineering.kif 193-193 Bessels equation is a subclass of ordinary differential equation
(subclass VanderpolsEquation OrdinaryDifferentialEquation) engineering.kif 198-198 Vanderpols equation is a subclass of ordinary differential equation
(termFormat ChineseLanguage OrdinaryDifferentialEquation "常微分方程") domainEnglishFormat.kif 42493-42493 Vanderpols equation is a subclass of ordinary differential equation
(termFormat ChineseTraditionalLanguage OrdinaryDifferentialEquation "常微分方程") domainEnglishFormat.kif 42492-42492 Vanderpols equation is a subclass of ordinary differential equation
(termFormat EnglishLanguage OrdinaryDifferentialEquation "ordinary differential equation") domainEnglishFormat.kif 42491-42491 Vanderpols equation is a subclass of ordinary differential equation


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