No TPTP formula. May not be expressible in strict first order. | WMD.kif 1467-1467 | 芋螺毒素 是 毒素 的 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 1469-1469 | 芋螺毒素 是 身体物质 的 subclass |