No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4624-4624 |
Lupus 是 对于 消化 的 disease 治愈 Benelysta |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5617-5617 |
Lupus 是 对于 消化 的 disease 治愈 Hydroxychloroquine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4737-4737 |
Lupus 是 对于 消化 的 disease 治愈 MycophenolicAcid |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2259-2261 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2258-2258 |
Lupus 是 AutoImmuneDisorder 的 subclass |