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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Escitalopram

Sigma KEE - 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 EscitalopramSSRIDrugsubclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4051-4051 Depression 是 对于 消化dis​​ease 治愈 Escitalopram
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 4056-4056 Escitalopram 是服用 FeelingTiredside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4055-4055 Escitalopram 是服用 Insomniaside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4052-4052 Escitalopram 是服用 Nauseaside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4053-4053 Escitalopram 是服用 SexualDysfunctionside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4058-4058 CipralexEscitalopramsubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4061-4061 LexaproEscitalopramsubclass
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