![]() |
![]() ![]() ![]()
|
![]() |
|
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 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 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 |
|
![]() |
![]() |