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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PartialDifferentialEquation
PartialDifferentialEquation(partial differential equation)partial_differential_equation

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


(documentation PartialDifferentialEquation EnglishLanguage "A DifferentialEquation involving a functions of more than one variable.") engineering.kif 182-183
(subclass PartialDifferentialEquation DifferentialEquation) engineering.kif 184-184 Partial differential equation is a subclass of differential equation

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


(termFormat ChineseLanguage PartialDifferentialEquation "偏微分方程") domainEnglishFormat.kif 44564-44564
(termFormat ChineseTraditionalLanguage PartialDifferentialEquation "偏微分方程") domainEnglishFormat.kif 44563-44563
(termFormat EnglishLanguage PartialDifferentialEquation "partial differential equation") domainEnglishFormat.kif 44562-44562

appearance as argument number 3
-------------------------


(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 190-190 Differential equation is disjointly decomposed into ordinary differential equation and partial differential equation


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