No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1858-1858 |
消化 是 拉萨病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1859-1859 |
接触 是 拉萨病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1857-1857 |
拉沙热 是 拉萨病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1860-1860 |
啮齿动物 是 拉萨病毒 的病毒传递者 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1861-1861 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4762-4762 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1856-1856 |
拉萨病毒 是 病毒剂 的 subclass |