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 181-182
(subclass PartialDifferentialEquation DifferentialEquation) engineering.kif 183-183 Partial differential equation is a subclass of differential equation

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


(termFormat ChineseLanguage PartialDifferentialEquation "偏微分方程") domainEnglishFormat.kif 44557-44557
(termFormat ChineseTraditionalLanguage PartialDifferentialEquation "偏微分方程") domainEnglishFormat.kif 44556-44556
(termFormat EnglishLanguage PartialDifferentialEquation "partial differential equation") domainEnglishFormat.kif 44555-44555

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


(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 189-189 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