|
|
   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 是 机体过程 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5089-5089 | Ondansetron 是 对于 消化 的 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 |
|
|
|
|