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  DifferentialEquation
DifferentialEquation
(differential equation)
differential_equation
appearance as argument number 1
(
disjointDecomposition
DifferentialEquation
FirstOrderDifferentialEquation
HigherOrderDifferentialEquation
)
engineering.kif 180180
Differential equation
is
disjointly
decomposed
into
first order differential equation
and
higher order differential equation
(
disjointDecomposition
DifferentialEquation
OrdinaryDifferentialEquation
PartialDifferentialEquation
)
engineering.kif 190190
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 152153
(
subclass
DifferentialEquation
Equation
)
engineering.kif 154154
Differential equation
is a
subclass
of
equation
appearance as argument number 2
(
subclass
FirstOrderDifferentialEquation
DifferentialEquation
)
engineering.kif 173173
First order differential equation
is a
subclass
of
differential equation
(
subclass
HigherOrderDifferentialEquation
DifferentialEquation
)
engineering.kif 178178
Higher order differential equation
is a
subclass
of
differential equation
(
subclass
OrdinaryDifferentialEquation
DifferentialEquation
)
engineering.kif 188188
Ordinary differential equation
is a
subclass
of
differential equation
(
subclass
PartialDifferentialEquation
DifferentialEquation
)
engineering.kif 184184
Partial differential equation
is a
subclass
of
differential equation
(
termFormat
ChineseLanguage
DifferentialEquation
"微分方程")
domainEnglishFormat.kif 1950019500
(
termFormat
ChineseTraditionalLanguage
DifferentialEquation
"微分方程")
domainEnglishFormat.kif 1949919499
(
termFormat
EnglishLanguage
DifferentialEquation
"differential equation")
domainEnglishFormat.kif 1949819498
antecedent
(<=>
(
instance
?X
DifferentialEquation
)
(
instance
?X
(
AttrFn
Equation
DifferentialAttribute
)))
engineering.kif 155157
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