| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14451-14451 | 微生物 是 生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1614-1614 | 疟疾疟原虫 是 微生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6267-6267 | 原生动物 是 微生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14455-14455 | 细菌 是 微生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14478-14478 | 病毒 是 微生物 的 subclass |
|
|