| No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | 子類 生化劑 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 97-97 | 子類 霧化劑 and 生化劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 152-152 | 子類 生物製劑 and 生化劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 444-444 | 子類 化學劑 and 生化劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1009-1009 | 子類 危及生命的特工 and 生化劑 |
|
|