Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Immunosuppressive
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Immunosuppressive Medicine) | Medicine.kif 4616-4616 | Immunosuppressant is a subclass of medicine |
| (documentation Immunosuppressive EnglishLanguage "Immunosuppression is a reduction of the activation or efficacy of the immune system. Some portions of the immune system itself have immunosuppressive effects on other parts of the immune system, and immunosuppression may occur as an adverse reaction to treatment of other conditions. In general, deliberately induced immunosuppression is performed to prevent the body from rejecting an organ transplant. Additionally, it is used for treating graft-versus-host disease after a bone marrow transplant, or for the treatment of auto-immune diseases such as systemic Lupus erythematosus, RheumatoidArthritis, Sjögren's syndrome, or CrohnsDisease. This is typically done using medications, but may involve surgery (splenectomy), plasmapheresis, or radiation. A person who is undergoing immunosuppression, or whose immune system is weak for some other reasons (chemotherapy or HIV), is said to be immunocompromised.[from Wikipedia]") | Medicine.kif 4617-4631 | Immunosuppressant is a subclass of medicine |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (subclass ?I Immunosuppressive) (hasPurpose ?I (and (instance ?AID AutoImmuneDisorder) (diseaseMedicine ?AID ?I ?P)))) |
Medicine.kif 4635-4640 | If X is a subclass of immunosuppressant, then X has the purpose Y is an instance of auto-immune disease and Y is disease treatment X for Z |
|