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  FirstOrderDifferentialEquation
FirstOrderDifferentialEquation
(first order differential equation)
appearance as argument number 1
(
documentation
FirstOrderDifferentialEquation
EnglishLanguage
"A
DifferentialEquation
where variables are differentiated only once.")
engineering.kif 170171
(
lexicon
FirstOrderDifferentialEquation
LexNoun
"firstorder differential equation")
engineering.kif 172172
(
subclass
FirstOrderDifferentialEquation
DifferentialEquation
)
engineering.kif 173173
First order differential equation
is a
subclass
of
differential equation
appearance as argument number 2
(
disjointDecomposition
DifferentialEquation
FirstOrderDifferentialEquation
HigherOrderDifferentialEquation
)
engineering.kif 180180
Differential equation
is
disjointly
decomposed
into
first order differential equation
and
higher order differential equation
(
termFormat
ChineseLanguage
FirstOrderDifferentialEquation
"一阶微分方程")
domainEnglishFormat.kif 2396623966
(
termFormat
ChineseTraditionalLanguage
FirstOrderDifferentialEquation
"一階微分方程")
domainEnglishFormat.kif 2396523965
(
termFormat
EnglishLanguage
FirstOrderDifferentialEquation
"first order differential equation")
domainEnglishFormat.kif 2396423964
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