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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Abatacept

Sigma KEE - Abatacept
Abatacept

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4951-4951 Abatacept 是 對於 Ingestingdisease 治癒 RheumatoidArthritis
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4946-4949
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4945-4945 子類 Abatacept and Immunosupressant

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4953-4953 子類 Orencia and Abatacept
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4950-4950


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