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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Escitalopram

Sigma KEE - Escitalopram
Escitalopram(escitalopram)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4041-4048
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4040-4040 Escitalopram is a subclass of selective serotonin reuptake inhibitor

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4051-4051 Depressed is disease treatment escitalopram for ingesting
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 4056-4056 Escitalopram is a side effect of taking feeling tired
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 4052-4052 Escitalopram is a side effect of taking nausea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4053-4053 Escitalopram is a side effect of taking sexual dysfunction
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4058-4058 Cipralex is a subclass of escitalopram
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4061-4061 Lexapro is a subclass of escitalopram
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4050-4050


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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