No TPTP formula. May not be expressible in strict first order. |
WMD.kif 157-157 |
BiologicalAgent est compl�tement d�compos� en Toxin + ToxicOrganism |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 437-437 |
AbrinToxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 308-308 |
Batrachotoxin est une sous-classe de Toxin |
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 1467-1467 |
Conotoxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 348-348 |
EpsilonToxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 217-217 |
Mycotoxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 429-429 |
RicinToxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1452-1452 |
Saxitoxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1338-1338 |
ShigaToxin est une sous-classe de Toxin |
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 1476-1476 |
Tetrodotoxin est une sous-classe de Toxin |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58688-58688 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58687-58687 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58686-58686 |
|