|
|
   Abatacept
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4951-4951 | Abatacept 是 对于 消化 的 disease 治愈 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 是 Immunosupressant 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4953-4953 | Orencia 是 Abatacept 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4950-4950 |
|
|
|