Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 181182
(
subclass
PartialDifferentialEquation
DifferentialEquation
)
engineering.kif 183183
Partial differential equation
is a
subclass
of
differential equation
appearance as argument number 2
(
termFormat
ChineseLanguage
PartialDifferentialEquation
"偏微分方程")
domainEnglishFormat.kif 4450344503
(
termFormat
ChineseTraditionalLanguage
PartialDifferentialEquation
"偏微分方程")
domainEnglishFormat.kif 4450244502
(
termFormat
EnglishLanguage
PartialDifferentialEquation
"partial differential equation")
domainEnglishFormat.kif 4450144501
appearance as argument number 3
(
disjointDecomposition
DifferentialEquation
OrdinaryDifferentialEquation
PartialDifferentialEquation
)
engineering.kif 189189
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