| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1541-1543 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1540-1540 | 副作用 的 2 数量 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1539-1539 | 副作用 的 1 数量 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1538-1538 | 副作用 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4518-4518 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4517-4517 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4516-4516 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52940-52940 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52939-52939 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52938-52938 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1545-1554 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3626-3626 | 头痛 是服用 Adalimumab 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3625-3625 | SkinRash 是服用 Adalimumab 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4054-4054 | Escitalopram 是服用 焦虑 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3785-3785 | Nausea 是服用 Bupropion 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4286-4286 | PainFn Abdomen 是服用 Cetirizine 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4284-4284 | 头痛 是服用 Cetirizine 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4285-4285 | Sleepy 是服用 Cetirizine 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3603-3603 | 腹泻 是服用 Clarithromycin 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3602-3602 | 头痛 是服用 Clarithromycin 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3600-3600 | Nausea 是服用 Clarithromycin 的 side effect |
| 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 3812-3812 | 腹泻 是服用 多西环素 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3811-3811 | Nausea 是服用 多西环素 的 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 4056-4056 | Escitalopram 是服用 FeelingTired 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5619-5619 | 头痛 是服用 Hydroxychloroquine 的 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 4055-4055 | Escitalopram 是服用 Insomnia 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5253-5253 | 腹泻 是服用 Levocetirizine 的 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. | Medicine.kif 3699-3699 | 头痛 是服用 Loratadine 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4739-4739 | 腹泻 是服用 MycophenolicAcid 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4738-4738 | Nausea 是服用 MycophenolicAcid 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4052-4052 | Escitalopram 是服用 Nausea 的 side effect |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5090-5090 | 腹泻 是服用 Ondansetron 的 side effect |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners