No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1471-1471 |
麻痹性贝类中毒 是 芋螺毒素 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1458-1458 |
麻痹性贝类中毒 是 石房蛤毒素 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1479-1479 |
麻痹性贝类中毒 是 河豚毒素 的 biochemical 病毒征兆 |
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 |
|