Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 193-194
(subclass OrdinaryDifferentialEquation DifferentialEquation) engineering.kif 195-195 Ordinary differential equation is a subclass of differential equation

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


(termFormat EnglishLanguage OrdinaryDifferentialEquation "ordinary differential equation") domainEnglishFormat.kif 42455-42455
(termFormat ChineseTraditionalLanguage OrdinaryDifferentialEquation "常微分方程") domainEnglishFormat.kif 42456-42456
(termFormat ChineseLanguage OrdinaryDifferentialEquation "常微分方程") domainEnglishFormat.kif 42457-42457
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 197-197 Differential equation is disjointly decomposed into ordinary differential equation and partial differential equation
(subclass BesselsEquation OrdinaryDifferentialEquation) engineering.kif 201-201 Bessels equation is a subclass of ordinary differential equation
(subclass VanderpolsEquation OrdinaryDifferentialEquation) engineering.kif 206-206 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners