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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PartialDifferentialEquation
PartialDifferentialEquation

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

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


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

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


(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 189-189


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