No TPTP formula. May not be expressible in strict first order. | WMD.kif 1437-1437 | StaphylococcalEnterotoxinB est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1438-1438 | StaphylococcalEnterotoxinB est une sous-classe de LifeThreateningAgent |
![]() |