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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HigherOrderDifferentialEquation

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 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