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 180-180
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 190-190
(documentation DifferentialEquation EnglishLanguage "An Equation containing differentials of a function ") engineering.kif 152-153
(subclass DifferentialEquation Equation) engineering.kif 154-154

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


(subclass FirstOrderDifferentialEquation DifferentialEquation) engineering.kif 173-173
(subclass HigherOrderDifferentialEquation DifferentialEquation) engineering.kif 178-178
(subclass OrdinaryDifferentialEquation DifferentialEquation) engineering.kif 188-188
(subclass PartialDifferentialEquation DifferentialEquation) engineering.kif 184-184
(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


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