| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14451-14451 | Microorganisme est une sous-classe de organisme |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1614-1614 | MalarialPlasmodium est une sous-classe de microorganisme |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6267-6267 | Protozoa est une sous-classe de microorganisme |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14455-14455 | Bact�rie est une sous-classe de microorganisme |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14478-14478 | Virus est une sous-classe de microorganisme |
|
|