No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1866-1866 |
拉沙熱 對於 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1867-1867 |
0.01 是 拉沙熱 的 disease 死亡 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1865-1865 |
發熱 是 拉沙熱 的 disease 病狀 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1868-1870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6660-6660 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1864-1864 |
例 拉沙熱 and 危及生命的疾病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1863-1863 |
例 拉沙熱 and 病毒性疾病 |