| 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 and OrganismProcess |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5089-5089 | Ondansetron 是 對於 Ingesting 的 disease 治癒 Vomiting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5088-5088 | Ondansetron 是 對於 注射 的 disease 治癒 Vomiting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3601-3601 | Vomiting 是服用 Clarithromycin 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3813-3813 | Vomiting 是服用 多西環素 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5618-5618 | Vomiting 是服用 Hydroxychloroquine 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5252-5252 | Vomiting 是服用 Levocetirizine 的 side effect |
| 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 |
|
|
|
|