No TPTP formula. May not be expressible in strict first order. | WMD.kif 1770-1770 | 子類 肝炎病毒 and 病毒劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1780-1780 | 子類 A型肝炎病毒 and 肝炎病毒 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1793-1793 | 子類 B型肝炎病毒 and 肝炎病毒 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1804-1804 | 子類 C型肝炎病毒 and 肝炎病毒 |