| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14478-14478 | 病毒 是 微生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 231-231 | 病毒剂 是 病毒 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2017-2017 | 蜱传脑炎病毒 是 病毒 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 100-100 | DNA病毒 是 病毒 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 126-126 | RNA病毒 是 病毒 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 137-137 | 无包膜病毒 是 病毒 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 141-141 | 笼罩病毒 是 病毒 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 146-146 | 病毒双重搁浅 是 病毒 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 150-150 | 病毒单一搁浅 是 病毒 的 subclass |
|
|