No TPTP formula. May not be expressible in strict first order. | WMD.kif 187-187 | Toxic organism is a subclass of organism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 198-198 | Bacterial agent is a subclass of toxic organism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 213-213 | Fungal agent is a subclass of toxic organism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 230-230 | Viral agent is a subclass of toxic organism |