LassaFever
|
|
appearance as argument number 1 |
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 | 拉沙热 是 危及生命的疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1863-1863 | 拉沙热 是 病毒性疾病 的 instance |
appearance as argument number 2 |
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. | domainEnglishFormat.kif 33403-33403 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33402-33402 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33401-33401 |