No TPTP formula. May not be expressible in strict first order. | Merge.kif 14473-14473 | 子類 Microorganism and Organism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1614-1614 | 子類 瘧疾瘧原蟲 and Microorganism |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6266-6266 | 子類 原生動物 and Microorganism |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14477-14477 | 子類 Bacterium and Microorganism |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14500-14500 | 子類 Virus and Microorganism |
![]() |