No TPTP formula. May not be expressible in strict first order. | WMD.kif 187-187 | ToxicOrganism est une sous-classe de organisme |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 198-198 | BacterialAgent est une sous-classe de ToxicOrganism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 213-213 | FungalAgent est une sous-classe de ToxicOrganism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 230-230 | ViralAgent est une sous-classe de ToxicOrganism |
![]() |