(=> (secretesToxin ?FROG Batrachotoxin) (subclass ?FROG Amphibian)) |
WMD.kif 313-315 |
|
(subclass Batrachotoxin Toxin) | WMD.kif 308-308 | Batrachotoxin is a subclass of toxin |
(subclass Batrachotoxin BodySubstance) | WMD.kif 309-309 | Batrachotoxin is a subclass of body substance |