No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5087-5087 |
Ondansetron 是 对于 消化 的 disease 治愈 Nausea |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5086-5086 |
Ondansetron 是 对于 注射 的 disease 治愈 Nausea |
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 5077-5084 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5090-5090 |
腹泻 是服用 Ondansetron 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5091-5091 |
头痛 是服用 Ondansetron 的 side effect |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5076-5076 |
Ondansetron 是 医学 的 subclass |