Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  OccupationalTrade

 Sigma KEE - HigherOrderDifferentialEquation
HigherOrderDifferentialEquation(higher order differential equation)

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


(documentation HigherOrderDifferentialEquation EnglishLanguage "A DifferentialEquation where variables are differentiated more than once.") engineering.kif 182-183
(lexicon HigherOrderDifferentialEquation LexNoun "higher_order differential equation") engineering.kif 184-184
(subclass HigherOrderDifferentialEquation DifferentialEquation) engineering.kif 185-185 Higher order differential equation is a subclass of differential equation

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


(termFormat EnglishLanguage HigherOrderDifferentialEquation "higher order differential equation") domainEnglishFormat.kif 28091-28091
(termFormat ChineseTraditionalLanguage HigherOrderDifferentialEquation "高階微分方程") domainEnglishFormat.kif 28092-28092
(termFormat ChineseLanguage HigherOrderDifferentialEquation "高阶微分方程") domainEnglishFormat.kif 28093-28093

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


(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 187-187 Differential equation is disjointly decomposed into first order differential equation and higher order differential equation


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners