Vomiting(vomiting) | barf, be_sick, cast, cat, chuck, disgorge, disgorgement, emesis, haematemesis, hematemesis, honk, hyperemesis, puke, puking, purge, regorge, regurgitate, regurgitation, retch, rumination, sick, spew, spue, throw_up, upchuck, vomit, vomit_up, vomiting |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21407-21409 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21405-21405 | Vomiting is a subclass of organism process |
appearance as argument number 2 |
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 3601-3601 | Vomiting is a side effect of taking clarithromycin |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3813-3813 | Vomiting is a side effect of taking doxycycline |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5618-5618 | Vomiting is a side effect of taking hydroxychloroquine |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5252-5252 | Vomiting is a side effect of taking Levocetirizine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21406-21406 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21413-21427 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21452-21468 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21432-21443 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5010-5022 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4816-4833 |
|