| No TPTP formula. May not be expressible in strict first order. | WMD.kif 187-187 | ToxicOrganism e' uma sub-classe de Organismo |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 198-198 | BacterialAgent e' uma sub-classe de ToxicOrganism |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 213-213 | FungalAgent e' uma sub-classe de ToxicOrganism |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 230-230 | ViralAgent e' uma sub-classe de ToxicOrganism |
|
|