No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5615-5615 |
疟疾 是 对于 消化 的 disease 治愈 Hydroxychloroquine |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1609-1609 |
发热 是 疟疾 的 disease 病状 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1610-1612 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6686-6686 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7266-7266 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7267-7267 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7268-7268 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7269-7269 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1607-1607 |
疟疾 是 传染病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1608-1608 |
疟疾 是 危及生命的疾病 的 instance |