|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5091-5091 | sideEffect Ondansetron and Headache |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4700-4700 | sideEffect Propranolol and Nausea |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3935-3935 | sideEffect Roflumilast and Diarrhea |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3934-3934 | sideEffect Roflumilast and Headache |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3933-3933 | sideEffect Roflumilast and Nausea |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4053-4053 | sideEffect SexualDysfunction and Escitalopram |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3918-3918 | sideEffect Sulfasalazine and Headache |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3917-3917 | sideEffect Sulfasalazine and Nausea |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3919-3919 | sideEffect Sulfasalazine and SkinRash |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5549-5549 | sideEffect Upadacitinib and Fever |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5548-5548 | sideEffect Upadacitinib and Nausea |
|
|
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