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  AlgebraicEquation
AlgebraicEquation
(algebraic equation)
appearance as argument number 1
(
documentation
AlgebraicEquation
EnglishLanguage
"An
Equation
that is not a
DifferentialEquation
")
engineering.kif 166167
(
subclass
AlgebraicEquation
Equation
)
engineering.kif 168168
Algebraic equation
is a
subclass
of
equation
appearance as argument number 2
(
termFormat
ChineseLanguage
AlgebraicEquation
"代数方程式")
domainEnglishFormat.kif 64746474
(
termFormat
ChineseTraditionalLanguage
AlgebraicEquation
"代數方程式")
domainEnglishFormat.kif 64736473
(
termFormat
EnglishLanguage
AlgebraicEquation
"algebraic equation")
domainEnglishFormat.kif 64726472
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