Vomiting
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21434-21436 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21432-21432 | Vomiting est une sous-classe de fonction physiologique |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5089-5089 | diseaseMedicine Ondansetron, Vomiting and ing�rer |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5088-5088 | diseaseMedicine Ondansetron, Vomiting and Injecting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3601-3601 | sideEffect Clarithromycin and Vomiting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3813-3813 | sideEffect Doxycycline and Vomiting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5618-5618 | sideEffect Hydroxychloroquine and Vomiting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5252-5252 | sideEffect Levocetirizine and Vomiting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21433-21433 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21440-21454 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21479-21495 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21459-21470 | |
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 |
|