No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1471-1471 |
Paralytic shellfish poisoning is a biochemical agent syndrome of conotoxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1458-1458 |
Paralytic shellfish poisoning is a biochemical agent syndrome of saxitoxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1479-1479 |
Paralytic shellfish poisoning is a biochemical agent syndrome of tetrodotoxin |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44406-44406 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44405-44405 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44404-44404 |
|