No TPTP formula. May not be expressible in strict first order. | WMD.kif 1476-1476 | Tetrodotoxin is a subclass of toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1477-1477 | Tetrodotoxin is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1478-1478 | Tetrodotoxin is a subclass of body substance |