Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Transfusion(transfusion) |
| appearance as argument number 1 |
|
| (subclass Transfusion IVTherapy) | Medicine.kif 6015-6015 | Transfusion is a subclass of IV Therapy |
| (documentation Transfusion EnglishLanguage "Giving Blood to an Animal, typically as a TherapeuticProcess in response to significant prior loss of Blood caused by Injuring or Surgery.") | Medicine.kif 6016-6018 | Transfusion is a subclass of IV Therapy |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Transfusion "transfusion") | Medicine.kif 6019-6019 |
| antecedent |
|
|
| (=> (instance ?T Transfusion) (exists (?B) (and (instance ?B Blood) (objectTransferred ?T ?B)))) |
Medicine.kif 6021-6026 | If X is an instance of transfusion, then there exists Y such that Y is an instance of blood and the object transferred in X is Y |
|