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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HigherOrderDifferentialEquation
HigherOrderDifferentialEquation

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


(documentation HigherOrderDifferentialEquation EnglishLanguage "A DifferentialEquation where variables are differentiated more than once.") engineering.kif 175-176
(lexicon HigherOrderDifferentialEquation LexNoun "higher-order differential equation") engineering.kif 177-177
(subclass HigherOrderDifferentialEquation DifferentialEquation) engineering.kif 178-178

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


(termFormat ChineseLanguage HigherOrderDifferentialEquation "高阶微分方程") domainEnglishFormat.kif 28089-28089
(termFormat ChineseTraditionalLanguage HigherOrderDifferentialEquation "高階微分方程") domainEnglishFormat.kif 28088-28088
(termFormat EnglishLanguage HigherOrderDifferentialEquation "higher order differential equation") domainEnglishFormat.kif 28087-28087

appearance as argument number 3
-------------------------


(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 180-180


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