No TPTP formula. May not be expressible in strict first order. | WMD.kif 1467-1467 | 子類 芋螺毒素 and 毒素 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1468-1468 | 子類 芋螺毒素 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1469-1469 | 子類 芋螺毒素 and BodySubstance |