Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
subclass
?I
Immunosuppressive
)
(
hasPurpose
?I
(
and
(
instance
?AID
AutoImmuneDisorder
)
(
diseaseMedicine
?AID ?I ?P))))
Medicine.kif 4621-4626
If
a physical
is a
subclass
of
immunosuppressant
,
then
the physical
has the purpose
an entity
is an
instance
of
auto-immune disease
and
the entity
is
disease
treatment
the physical
for
another entity
(
subclass
AutoImmuneDisorder
PathologicProcess
)
Medicine.kif 2192-2192
Auto-immune disease
is a
subclass
of
pathologic process
(
subclass
RheumatoidArthritis
AutoImmuneDisorder
)
Medicine.kif 2222-2222
Rheumatoid arthritis
is a
subclass
of
auto-immune disease
(
subclass
Psoriasis
AutoImmuneDisorder
)
Medicine.kif 2239-2239
Psoriasis
is a
subclass
of
auto-immune disease
(
subclass
MultipleSclerosis
AutoImmuneDisorder
)
Medicine.kif 2245-2245
MS
is a
subclass
of
auto-immune disease
(
subclass
Lupus
AutoImmuneDisorder
)
Medicine.kif 2256-2256
Lupus
is a
subclass
of
auto-immune disease
(
subclass
InflammatoryBowelDisease
AutoImmuneDisorder
)
Medicine.kif 2274-2274
Inflammatory bowel disease
is a
subclass
of
auto-immune disease
(
subclass
AddisonsDisease
AutoImmuneDisorder
)
Medicine.kif 2309-2309
Addison's disease
is a
subclass
of
auto-immune disease
(
subclass
GravesDisease
AutoImmuneDisorder
)
Medicine.kif 2321-2321
Graves' disease
is a
subclass
of
auto-immune disease
(
subclass
SjogrensSyndrome
AutoImmuneDisorder
)
Medicine.kif 2351-2351
Sjogrens syndrome
is a
subclass
of
auto-immune disease
(
subclass
HashimotosThyroiditis
AutoImmuneDisorder
)
Medicine.kif 2367-2367
Hashimoto's thyroiditis
is a
subclass
of
auto-immune disease
(
subclass
MyastheniaGravis
AutoImmuneDisorder
)
Medicine.kif 2397-2397
Myasthenia gravis
is a
subclass
of
auto-immune disease
(
subclass
AutoimmuneVasculitis
AutoImmuneDisorder
)
Medicine.kif 2411-2411
Autoimmune vasculitis
is a
subclass
of
auto-immune disease
(
subclass
PerniciousAnemia
AutoImmuneDisorder
)
Medicine.kif 2685-2685
Pernicious anemia
is a
subclass
of
auto-immune disease
(
subclass
CeliacDisease
AutoImmuneDisorder
)
Medicine.kif 2707-2707
Coeliac disease
is a
subclass
of
auto-immune disease
(
subclass
Sepsis
AutoImmuneDisorder
)
Medicine.kif 5511-5511
Septic shock
is a
subclass
of
auto-immune disease
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
