No TPTP formula. May not be expressible in strict first order. | Merge.kif 14478-14478 | 子類 Virus and Microorganism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 231-231 | 子類 病毒劑 and Virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2017-2017 | 子類 蜱傳腦炎病毒 and Virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 100-100 | 子類 DNA病毒 and Virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 126-126 | 子類 RNA病毒 and Virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 137-137 | 子類 無包膜病毒 and Virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 141-141 | 子類 籠罩病毒 and Virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 146-146 | 子類 病毒雙重擱淺 and Virus |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 150-150 | 子類 病毒單一擱淺 and Virus |