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
Toxin
BiologicalAgent
)
WMD.kif 159-159
Toxin
is a
subclass
of
biological agent
(
subclass
Toxin
BiologicallyActiveSubstance
)
WMD.kif 160-160
Toxin
is a
subclass
of
biologically active substance
(
subclass
Mycotoxin
Toxin
)
WMD.kif 217-217
Mycotoxin
is a
subclass
of
toxin
(
subclass
Batrachotoxin
Toxin
)
WMD.kif 308-308
Batrachotoxin
is a
subclass
of
toxin
(
subclass
BotulinumToxin
Toxin
)
WMD.kif 322-322
Botulinum toxin
is a
subclass
of
toxin
(
subclass
EpsilonToxin
Toxin
)
WMD.kif 348-348
Epsilon toxin
is a
subclass
of
toxin
(
subclass
RicinToxin
Toxin
)
WMD.kif 429-429
Ricin toxin
is a
subclass
of
toxin
(
subclass
AbrinToxin
Toxin
)
WMD.kif 437-437
Abrin toxin
is a
subclass
of
toxin
(
subclass
ShigaToxin
Toxin
)
WMD.kif 1338-1338
Shiga toxin
is a
subclass
of
toxin
(
subclass
StaphylococcalEnterotoxinB
Toxin
)
WMD.kif 1437-1437
Staphylococcal enterotoxin b
is a
subclass
of
toxin
(
subclass
Saxitoxin
Toxin
)
WMD.kif 1452-1452
Saxitoxin
is a
subclass
of
toxin
(
subclass
Conotoxin
Toxin
)
WMD.kif 1467-1467
Conotoxin
is a
subclass
of
toxin
(
subclass
Tetrodotoxin
Toxin
)
WMD.kif 1476-1476
Tetrodotoxin
is a
subclass
of
toxin
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
