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  OrdinaryDifferentialEquation
OrdinaryDifferentialEquation
(ordinary differential equation)
appearance as argument number 1
(
documentation
OrdinaryDifferentialEquation
EnglishLanguage
"A
DifferentialEquation
that is not a
PartialDifferentialEquation
.")
engineering.kif 186187
(
subclass
OrdinaryDifferentialEquation
DifferentialEquation
)
engineering.kif 188188
Ordinary differential equation
is a
subclass
of
differential equation
appearance as argument number 2
(
disjointDecomposition
DifferentialEquation
OrdinaryDifferentialEquation
PartialDifferentialEquation
)
engineering.kif 190190
Differential equation
is
disjointly
decomposed
into
ordinary differential equation
and
partial differential equation
(
subclass
BesselsEquation
OrdinaryDifferentialEquation
)
engineering.kif 194194
Bessels equation
is a
subclass
of
ordinary differential equation
(
subclass
VanderpolsEquation
OrdinaryDifferentialEquation
)
engineering.kif 199199
Vanderpols equation
is a
subclass
of
ordinary differential equation
(
termFormat
ChineseLanguage
OrdinaryDifferentialEquation
"常微分方程")
domainEnglishFormat.kif 4246242462
(
termFormat
ChineseTraditionalLanguage
OrdinaryDifferentialEquation
"常微分方程")
domainEnglishFormat.kif 4246142461
(
termFormat
EnglishLanguage
OrdinaryDifferentialEquation
"ordinary differential equation")
domainEnglishFormat.kif 4246042460
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