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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DifferentialEquation

Sigma KEE - DifferentialEquation
DifferentialEquation(differential equation)differential_equation

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


(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 180-180 Differential equation is disjointly decomposed into first order differential equation and higher order differential equation
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 190-190 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 152-153
(subclass DifferentialEquation Equation) engineering.kif 154-154 Differential equation is a subclass of equation

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


(subclass FirstOrderDifferentialEquation DifferentialEquation) engineering.kif 173-173 First order differential equation is a subclass of differential equation
(subclass HigherOrderDifferentialEquation DifferentialEquation) engineering.kif 178-178 Higher order differential equation is a subclass of differential equation
(subclass OrdinaryDifferentialEquation DifferentialEquation) engineering.kif 188-188 Ordinary differential equation is a subclass of differential equation
(subclass PartialDifferentialEquation DifferentialEquation) engineering.kif 184-184 Partial differential equation is a subclass of differential equation
(termFormat ChineseLanguage DifferentialEquation "微分方程") domainEnglishFormat.kif 19500-19500
(termFormat ChineseTraditionalLanguage DifferentialEquation "微分方程") domainEnglishFormat.kif 19499-19499
(termFormat EnglishLanguage DifferentialEquation "differential equation") domainEnglishFormat.kif 19498-19498

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


(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))
engineering.kif 155-157 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 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