No TPTP formula. May not be expressible in strict first order. | WMD.kif 1770-1770 | 肝炎病毒 是 病毒剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1780-1780 | A型肝炎病毒 是 肝炎病毒 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1793-1793 | B型肝炎病毒 是 肝炎病毒 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1804-1804 | C型肝炎病毒 是 肝炎病毒 的 subclass |