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


KB Term:  Term intersection
English Word: 

  PartialDifferentialEquation

 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 189-190
(subclass PartialDifferentialEquation DifferentialEquation) engineering.kif 191-191 Partial differential equation is a subclass of differential equation

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


(termFormat EnglishLanguage PartialDifferentialEquation "partial differential equation") domainEnglishFormat.kif 44519-44519
(termFormat ChineseTraditionalLanguage PartialDifferentialEquation "偏微分方程") domainEnglishFormat.kif 44520-44520
(termFormat ChineseLanguage PartialDifferentialEquation "偏微分方程") domainEnglishFormat.kif 44521-44521

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


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


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