Term Intersection
: 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
Term 1:
Term 2:
(
subclass
BodySubstance
Substance
)
Merge.kif 14852-14852
Body substance
is a
subclass
of
substance
(
subclass
Mycotoxin
BodySubstance
)
WMD.kif 218-218
Mycotoxin
is a
subclass
of
body substance
(
subclass
Batrachotoxin
BodySubstance
)
WMD.kif 309-309
Batrachotoxin
is a
subclass
of
body substance
(
subclass
BotulinumToxin
BodySubstance
)
WMD.kif 323-323
Botulinum toxin
is a
subclass
of
body substance
(
subclass
EpsilonToxin
BodySubstance
)
WMD.kif 349-349
Epsilon toxin
is a
subclass
of
body substance
(
subclass
Saxitoxin
BodySubstance
)
WMD.kif 1454-1454
Saxitoxin
is a
subclass
of
body substance
(
subclass
Conotoxin
BodySubstance
)
WMD.kif 1469-1469
Conotoxin
is a
subclass
of
body substance
(
subclass
Tetrodotoxin
BodySubstance
)
WMD.kif 1478-1478
Tetrodotoxin
is a
subclass
of
body substance
(
subclass
Excrement
BodySubstance
)
Mid-level-ontology.kif 2055-2055
Excrement
is a
subclass
of
body substance
(
subclass
Rubber
BodySubstance
)
Mid-level-ontology.kif 9208-9208
Rubber
is a
subclass
of
body substance
(
subclass
LiquidBodySubstance
BodySubstance
)
Mid-level-ontology.kif 10876-10876
Liquid body substance
is a
subclass
of
body substance
(
subclass
Bile
BodySubstance
)
Mid-level-ontology.kif 12019-12019
Gall
is a
subclass
of
body substance
(
subclass
Saliva
BodySubstance
)
Mid-level-ontology.kif 12340-12340
Saliva
is a
subclass
of
body substance
(
subclass
Mucus
BodySubstance
)
Mid-level-ontology.kif 12355-12355
Mucus
is a
subclass
of
body substance
(
subclass
Neurotransmitter
BodySubstance
)
Mid-level-ontology.kif 12371-12371
Neurotransmitter
is a
subclass
of
body substance
(
subclass
AnimalSubstance
BodySubstance
)
Merge.kif 14858-14858
Animal substance
is a
subclass
of
body substance
(
subclass
PlantSubstance
BodySubstance
)
Merge.kif 14869-14869
Plant substance
is a
subclass
of
body substance
(
subclass
Hormone
BodySubstance
)
Merge.kif 14880-14880
Hormone
is a
subclass
of
body substance
(
subclass
Blood
BodySubstance
)
Merge.kif 14899-14899
Blood
is a
subclass
of
body substance
(
subclass
Tissue
BodySubstance
)
Merge.kif 15170-15170
Tissue
is a
subclass
of
body substance
(
subclass
BloodPlasma
BodySubstance
)
Medicine.kif 1140-1140
Blood plasma
is a
subclass
of
body substance
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