Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 182183
(
subclass
PartialDifferentialEquation
DifferentialEquation
)
engineering.kif 184184
Partial differential equation
is a
subclass
of
differential equation
appearance as argument number 2
(
termFormat
ChineseLanguage
PartialDifferentialEquation
"偏微分方程")
domainEnglishFormat.kif 4452644526
(
termFormat
ChineseTraditionalLanguage
PartialDifferentialEquation
"偏微分方程")
domainEnglishFormat.kif 4452544525
(
termFormat
EnglishLanguage
PartialDifferentialEquation
"partial differential equation")
domainEnglishFormat.kif 4452444524
appearance as argument number 3
(
disjointDecomposition
DifferentialEquation
OrdinaryDifferentialEquation
PartialDifferentialEquation
)
engineering.kif 190190
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