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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DifferentialEquation
DifferentialEquation(differential equation)differential_equation

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


(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 179-179 Differential equation is disjointly decomposed into first order differential equation and higher order differential equation
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 189-189 Differential equation is disjointly decomposed into ordinary differential equation and partial differential equation
(documentation DifferentialEquation EnglishLanguage "An Equation containing differentials of a function ") engineering.kif 151-152
(subclass DifferentialEquation Equation) engineering.kif 153-153 Differential equation is a subclass of equation

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


(subclass FirstOrderDifferentialEquation DifferentialEquation) engineering.kif 172-172 First order differential equation is a subclass of differential equation
(subclass HigherOrderDifferentialEquation DifferentialEquation) engineering.kif 177-177 Higher order differential equation is a subclass of differential equation
(subclass OrdinaryDifferentialEquation DifferentialEquation) engineering.kif 187-187 Ordinary differential equation is a subclass of differential equation
(subclass PartialDifferentialEquation DifferentialEquation) engineering.kif 183-183 Partial differential equation is a subclass of differential equation
(termFormat ChineseLanguage DifferentialEquation "微分方程") domainEnglishFormat.kif 19491-19491
(termFormat ChineseTraditionalLanguage DifferentialEquation "微分方程") domainEnglishFormat.kif 19490-19490
(termFormat EnglishLanguage DifferentialEquation "differential equation") domainEnglishFormat.kif 19489-19489

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


(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))
engineering.kif 154-156 An entity is an instance of differential equation if and only if the entity is an instance of the attr of equation and differential attribute


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