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


KB Term:  Term intersection
English Word: 

  MilitaryRank

 Sigma KEE - DifferentialEquation
DifferentialEquation(differential equation)differential_equation

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


(documentation DifferentialEquation EnglishLanguage "An Equation containing differentials of a function ") engineering.kif 159-160
(subclass DifferentialEquation Equation) engineering.kif 161-161 Differential equation is a subclass of equation
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 187-187 Differential equation is disjointly decomposed into first order differential equation and higher order differential equation
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 197-197 Differential equation is disjointly decomposed into ordinary differential equation and partial differential equation

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


(termFormat EnglishLanguage DifferentialEquation "differential equation") domainEnglishFormat.kif 19500-19500
(termFormat ChineseTraditionalLanguage DifferentialEquation "微分方程") domainEnglishFormat.kif 19501-19501
(termFormat ChineseLanguage DifferentialEquation "微分方程") domainEnglishFormat.kif 19502-19502
(subclass FirstOrderDifferentialEquation DifferentialEquation) engineering.kif 180-180 First order differential equation is a subclass of differential equation
(subclass HigherOrderDifferentialEquation DifferentialEquation) engineering.kif 185-185 Higher order differential equation is a subclass of differential equation
(subclass PartialDifferentialEquation DifferentialEquation) engineering.kif 191-191 Partial differential equation is a subclass of differential equation
(subclass OrdinaryDifferentialEquation DifferentialEquation) engineering.kif 195-195 Ordinary differential equation is a subclass of differential equation

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


(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))		 engineering.kif 162-164 X is an instance of differential equation if, only if X 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners