No TPTP formula. May not be expressible in strict first order. | WMD.kif 322-322 | BotulinumToxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 323-323 | BotulinumToxin est une sous-classe de substance corporel |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 324-324 | BotulinumToxin est une sous-classe de LifeThreateningAgent |