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 14828-14828
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 9180-9180
Rubber
is a
subclass
of
body substance
(
subclass
LiquidBodySubstance
BodySubstance
)
Mid-level-ontology.kif 10848-10848
Liquid body substance
is a
subclass
of
body substance
(
subclass
Bile
BodySubstance
)
Mid-level-ontology.kif 11991-11991
Gall
is a
subclass
of
body substance
(
subclass
Saliva
BodySubstance
)
Mid-level-ontology.kif 12312-12312
Saliva
is a
subclass
of
body substance
(
subclass
Mucus
BodySubstance
)
Mid-level-ontology.kif 12327-12327
Mucus
is a
subclass
of
body substance
(
subclass
Neurotransmitter
BodySubstance
)
Mid-level-ontology.kif 12343-12343
Neurotransmitter
is a
subclass
of
body substance
(
subclass
AnimalSubstance
BodySubstance
)
Merge.kif 14834-14834
Animal substance
is a
subclass
of
body substance
(
subclass
PlantSubstance
BodySubstance
)
Merge.kif 14845-14845
Plant substance
is a
subclass
of
body substance
(
subclass
Hormone
BodySubstance
)
Merge.kif 14856-14856
Hormone
is a
subclass
of
body substance
(
subclass
Blood
BodySubstance
)
Merge.kif 14875-14875
Blood
is a
subclass
of
body substance
(
subclass
Tissue
BodySubstance
)
Merge.kif 15146-15146
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
