| No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | Biochemical agent is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 97-97 | Aerosolized agent is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 152-152 | Biological agent is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 444-444 | Chemical agent is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1009-1009 | Life threatening agent is a subclass of biochemical agent |
|
|