|
|
   Ondansetron
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5087-5087 | Ondansetron is disease treatment nausea for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5086-5086 | Ondansetron is disease treatment nausea for injecting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5089-5089 | Ondansetron is disease treatment vomiting for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5088-5088 | Ondansetron is disease treatment vomiting for injecting |
| 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 | Diarrhea is a side effect of taking ondansetron |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5091-5091 | Headache is a side effect of taking ondansetron |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5076-5076 | Ondansetron is a subclass of medicine |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5093-5093 | Zofran is a subclass of ondansetron |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5085-5085 |
|
|
|