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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DifferentialEquation

Sigma KEE - DifferentialEquation
DifferentialEquation

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


(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 179-179
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 189-189
(documentation DifferentialEquation EnglishLanguage "An Equation containing differentials of a function ") engineering.kif 151-152
(subclass DifferentialEquation Equation) engineering.kif 153-153

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


(subclass FirstOrderDifferentialEquation DifferentialEquation) engineering.kif 172-172
(subclass HigherOrderDifferentialEquation DifferentialEquation) engineering.kif 177-177
(subclass OrdinaryDifferentialEquation DifferentialEquation) engineering.kif 187-187
(subclass PartialDifferentialEquation DifferentialEquation) engineering.kif 183-183
(termFormat ChineseLanguage DifferentialEquation "微分方程") domainEnglishFormat.kif 19490-19490
(termFormat ChineseTraditionalLanguage DifferentialEquation "微分方程") domainEnglishFormat.kif 19489-19489
(termFormat EnglishLanguage DifferentialEquation "differential equation") domainEnglishFormat.kif 19488-19488

antecedent
-------------------------


(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))
engineering.kif 154-156


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