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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MycophenolicAcid

Sigma KEE - MycophenolicAcid
MycophenolicAcid(mycophenolic acid)

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4727-4734
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 4725-4725 Mycophenolic acid is a subclass of immunosuppressant

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4736-4736 Crohn's disease is disease treatment mycophenolic acid for ingesting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4737-4737 Lupus is disease treatment mycophenolic acid for ingesting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4741-4741 CellCept is a subclass of mycophenolic acid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4735-4735


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