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 1470-1470 |
软体动物 是 芋螺毒素 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1472-1474 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5928-5928 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31619-31619 |
roomTempState 芋螺毒素 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1469-1469 |
芋螺毒素 是 身体物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1468-1468 |
芋螺毒素 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1467-1467 |
芋螺毒素 是 毒素 的 subclass |