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 186-187
(subclass OrdinaryDifferentialEquation DifferentialEquation) engineering.kif 188-188 Ordinary differential equation is a subclass of differential equation

appearance as argument number 2

(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 190-190 Differential equation is disjointly decomposed into ordinary differential equation and partial differential equation
(subclass BesselsEquation OrdinaryDifferentialEquation) engineering.kif 194-194 Bessels equation is a subclass of ordinary differential equation
(subclass VanderpolsEquation OrdinaryDifferentialEquation) engineering.kif 199-199 Vanderpols equation is a subclass of ordinary differential equation
(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 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