No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5089-5089 |
Ondansetron 是 对于 消化 的 disease 治愈 Vomiting |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5088-5088 |
Ondansetron 是 对于 注射 的 disease 治愈 Vomiting |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3601-3601 |
Vomiting 是服用 Clarithromycin 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3813-3813 |
Vomiting 是服用 多西环素 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5618-5618 |
Vomiting 是服用 Hydroxychloroquine 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5252-5252 |
Vomiting 是服用 Levocetirizine 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21433-21433 |
|