| 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 | The number 2 argument of side effect is an instance of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1539-1539 | The number 1 argument of side effect is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1538-1538 | side effect is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4522-4522 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4521-4521 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4520-4520 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52944-52944 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52943-52943 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52942-52942 |
| 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 3629-3629 | Headache is a side effect of taking adalimumab |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3628-3628 | Rash is a side effect of taking adalimumab |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4057-4057 | Escitalopram is a side effect of taking anxiety |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3788-3788 | Nausea is a side effect of taking bupropion |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4293-4293 | Pain in the abdomen is a side effect of taking cetirizine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4291-4291 | Headache is a side effect of taking cetirizine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4292-4292 | Sleepy is a side effect of taking cetirizine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3606-3606 | Diarrhea is a side effect of taking clarithromycin |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3605-3605 | Headache is a side effect of taking clarithromycin |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3603-3603 | Nausea is a side effect of taking clarithromycin |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3604-3604 | Vomiting is a side effect of taking clarithromycin |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3815-3815 | Diarrhea is a side effect of taking doxycycline |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3814-3814 | Nausea is a side effect of taking doxycycline |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3816-3816 | Vomiting is a side effect of taking doxycycline |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4059-4059 | Escitalopram is a side effect of taking feeling tired |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5628-5628 | Headache is a side effect of taking hydroxychloroquine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5627-5627 | Vomiting is a side effect of taking hydroxychloroquine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4058-4058 | Escitalopram is a side effect of taking insomnia |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5262-5262 | Diarrhea is a side effect of taking levocetirizine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5261-5261 | Vomiting is a side effect of taking levocetirizine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3702-3702 | Headache is a side effect of taking loratadine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4746-4746 | Diarrhea is a side effect of taking mycophenolic acid |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4745-4745 | Nausea is a side effect of taking mycophenolic acid |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4055-4055 | Escitalopram is a side effect of taking nausea |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5097-5097 | Diarrhea is a side effect of taking ondansetron |
| 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