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 sideEffect Hydroxychloroquine and Headache
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5618-5618 sideEffect Hydroxychloroquine and Vomiting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5605-5605 Hydroxychloroquine e' uma sub-classe de AntiParasitic

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5617-5617 diseaseMedicine Lupus, Hydroxychloroquine and Ingerir
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5615-5615 diseaseMedicine Malaria, Hydroxychloroquine and Ingerir
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5616-5616 diseaseMedicine RheumatoidArthritis, Hydroxychloroquine and Ingerir
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5621-5621 Plaquenil e' uma sub-classe de Hydroxychloroquine
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