| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1452-1452 | 子類 石房蛤毒素 and 毒素 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1453-1453 | 子類 石房蛤毒素 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1454-1454 | 子類 石房蛤毒素 and BodySubstance |
|
|