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
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - GravesDisease
GravesDisease
(Graves' disease)
appearance as argument number 1
(
documentation
GravesDisease
EnglishLanguage
"An
AutoImmuneDisorder
that affects the Thyroid, causing it to produce too much of its hormones.")
Medicine.kif 2312-2314
(
subclass
GravesDisease
AutoImmuneDisorder
)
Medicine.kif 2311-2311
Graves' disease
is a
subclass
of
auto-immune disease
appearance as argument number 2
(
termFormat
EnglishLanguage
GravesDisease
"Graves' disease")
Medicine.kif 2315-2315
antecedent
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2317-2322
If
a process
is an
instance
of
Graves' disease
and
an agent
experience
s
the process
,
then
impaired body part fn
thyroid gland
is an
attribute
of
the agent
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2324-2339
If
a process
is an
instance
of
Graves' disease
and
an agent
experience
s
the process
and
the agent
is an
instance
of
human
and
an object
is an
instance
of
thyroid hormone
and
the object
is a
part
of
the agent
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
human
and
a third object
is an
instance
of
thyroid hormone
and
the third object
is a
part
of
the other object
and the
measure
of
the third object
is
another real number
the unit of measure
(s) and
healthy
is an
attribute
of
the other object
,
then
the real number
is
greater
than
the other real number
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
