Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - sideEffect
sideEffect

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 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 Headache is a side effect of taking adalimumab
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3625-3625 Rash is a side effect of taking adalimumab
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4054-4054 Escitalopram is a side effect of taking anxiety
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3785-3785 Nausea is a side effect of taking bupropion
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4286-4286 Pain in the abdomen is a side effect of taking cetirizine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4284-4284 Headache is a side effect of taking cetirizine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4285-4285 Sleepy is a side effect of taking cetirizine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3603-3603 Diarrhea is a side effect of taking clarithromycin
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3602-3602 Headache is a side effect of taking clarithromycin
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3600-3600 Nausea is a side effect of taking clarithromycin
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3601-3601 Vomiting is a side effect of taking clarithromycin
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3812-3812 Diarrhea is a side effect of taking doxycycline
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3811-3811 Nausea is a side effect of taking doxycycline
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3813-3813 Vomiting is a side effect of taking doxycycline
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4056-4056 Escitalopram is a side effect of taking feeling tired
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5619-5619 Headache is a side effect of taking hydroxychloroquine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5618-5618 Vomiting is a side effect of taking hydroxychloroquine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4055-4055 Escitalopram is a side effect of taking insomnia
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5253-5253 Diarrhea is a side effect of taking Levocetirizine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5252-5252 Vomiting is a side effect of taking Levocetirizine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3699-3699 Headache is a side effect of taking loratadine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4739-4739 Diarrhea is a side effect of taking mycophenolic acid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4738-4738 Nausea is a side effect of taking mycophenolic acid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4052-4052 Escitalopram is a side effect of taking nausea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5090-5090 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