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 14806-14806
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 2062-2062
Excrement
is a
subclass
of
body substance
(
subclass
Rubber
BodySubstance
)
Mid-level-ontology.kif 9181-9181
Rubber
is a
subclass
of
body substance
(
subclass
LiquidBodySubstance
BodySubstance
)
Mid-level-ontology.kif 10849-10849
Liquid body substance
is a
subclass
of
body substance
(
subclass
Bile
BodySubstance
)
Mid-level-ontology.kif 11992-11992
Gall
is a
subclass
of
body substance
(
subclass
Saliva
BodySubstance
)
Mid-level-ontology.kif 12313-12313
Saliva
is a
subclass
of
body substance
(
subclass
Mucus
BodySubstance
)
Mid-level-ontology.kif 12328-12328
Mucus
is a
subclass
of
body substance
(
subclass
Neurotransmitter
BodySubstance
)
Mid-level-ontology.kif 12344-12344
Neurotransmitter
is a
subclass
of
body substance
(
subclass
AnimalSubstance
BodySubstance
)
Merge.kif 14812-14812
Animal substance
is a
subclass
of
body substance
(
subclass
PlantSubstance
BodySubstance
)
Merge.kif 14823-14823
Plant substance
is a
subclass
of
body substance
(
subclass
Hormone
BodySubstance
)
Merge.kif 14834-14834
Hormone
is a
subclass
of
body substance
(
subclass
Blood
BodySubstance
)
Merge.kif 14853-14853
Blood
is a
subclass
of
body substance
(
subclass
Tissue
BodySubstance
)
Merge.kif 15124-15124
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
