Vomiting
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21406-21408 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21404-21404 | 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 21405-21405 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21412-21426 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21451-21467 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21431-21442 |
|
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 |
|