No TPTP formula. May not be expressible in strict first order. | WMD.kif 1452-1452 | 石房蛤毒素 是 毒素 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1453-1453 | 石房蛤毒素 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1454-1454 | 石房蛤毒素 是 身体物质 的 subclass |