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. |
WMD.kif 1480-1483 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6920-6920 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8080-8080 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31662-31662 |
roomTempState 河豚毒素 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1478-1478 |
河豚毒素 是 身体物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1477-1477 |
河豚毒素 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1476-1476 |
河豚毒素 是 毒素 的 subclass |