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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MycophenolicAcid

Sigma KEE - MycophenolicAcid
MycophenolicAcid

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 腹泻 是服用 MycophenolicAcidside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4738-4738 Nausea 是服用 MycophenolicAcidside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4725-4725 MycophenolicAcidImmunosuppressivesubclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4736-4736 CrohnsDisease 是 对于 消化dis​​ease 治愈 MycophenolicAcid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4737-4737 Lupus 是 对于 消化dis​​ease 治愈 MycophenolicAcid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4741-4741 CellCeptMycophenolicAcidsubclass
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