No TPTP formula. May not be expressible in strict first order. | WMD.kif 1437-1437 | StaphylococcalEnterotoxinB e' uma sub-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1438-1438 | StaphylococcalEnterotoxinB e' uma sub-classe de LifeThreateningAgent |