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  DifferentialEquation
DifferentialEquation
(differential equation)
differential_equation
appearance as argument number 1
(
disjointDecomposition
DifferentialEquation
FirstOrderDifferentialEquation
HigherOrderDifferentialEquation
)
engineering.kif 179179
Differential equation
is
disjointly
decomposed
into
first order differential equation
and
higher order differential equation
(
disjointDecomposition
DifferentialEquation
OrdinaryDifferentialEquation
PartialDifferentialEquation
)
engineering.kif 189189
Differential equation
is
disjointly
decomposed
into
ordinary differential equation
and
partial differential equation
(
documentation
DifferentialEquation
EnglishLanguage
"An
Equation
containing differentials of a function ")
engineering.kif 151152
(
subclass
DifferentialEquation
Equation
)
engineering.kif 153153
Differential equation
is a
subclass
of
equation
appearance as argument number 2
(
subclass
FirstOrderDifferentialEquation
DifferentialEquation
)
engineering.kif 172172
First order differential equation
is a
subclass
of
differential equation
(
subclass
HigherOrderDifferentialEquation
DifferentialEquation
)
engineering.kif 177177
Higher order differential equation
is a
subclass
of
differential equation
(
subclass
OrdinaryDifferentialEquation
DifferentialEquation
)
engineering.kif 187187
Ordinary differential equation
is a
subclass
of
differential equation
(
subclass
PartialDifferentialEquation
DifferentialEquation
)
engineering.kif 183183
Partial differential equation
is a
subclass
of
differential equation
(
termFormat
ChineseLanguage
DifferentialEquation
"微分方程")
domainEnglishFormat.kif 1948619486
(
termFormat
ChineseTraditionalLanguage
DifferentialEquation
"微分方程")
domainEnglishFormat.kif 1948519485
(
termFormat
EnglishLanguage
DifferentialEquation
"differential equation")
domainEnglishFormat.kif 1948419484
antecedent
(<=>
(
instance
?X
DifferentialEquation
)
(
instance
?X
(
AttrFn
Equation
DifferentialAttribute
)))
engineering.kif 154156
An entity
is an
instance
of
differential equation
if and only if
the entity
is an
instance
of the
attr
of
equation
and
differential attribute
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