No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1782-1782 |
消化 是 A型肝炎病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1783-1783 |
注射 是 A型肝炎病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1781-1781 |
A型肝炎 是 A型肝炎病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1784-1784 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1780-1780 |
A型肝炎病毒 是 肝炎病毒 的 subclass |