No TPTP formula. May not be expressible in strict first order. | WMD.kif 322-322 | 肉毒杆菌毒素 是 毒素 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 323-323 | 肉毒杆菌毒素 是 身体物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 324-324 | 肉毒杆菌毒素 是 危及生命的特工 的 subclass |