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

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


(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 190-190
(subclass BesselsEquation OrdinaryDifferentialEquation) engineering.kif 194-194
(subclass VanderpolsEquation OrdinaryDifferentialEquation) engineering.kif 199-199
(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