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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hydroxychloroquine

Sigma KEE - Hydroxychloroquine
Hydroxychloroquine

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5606-5613
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5619-5619 头痛 是服用 Hydroxychloroquineside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5618-5618 Vomiting 是服用 Hydroxychloroquineside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5605-5605 HydroxychloroquineAntiParasiticsubclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5617-5617 Lupus 是 对于 消化dis​​ease 治愈 Hydroxychloroquine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5615-5615 疟疾 是 对于 消化dis​​ease 治愈 Hydroxychloroquine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5616-5616 RheumatoidArthritis 是 对于 消化dis​​ease 治愈 Hydroxychloroquine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5621-5621 PlaquenilHydroxychloroquinesubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5614-5614


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