Transfusion - Sigma Knowledge base Browser

appearance as argument number 1

(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 6002-6004
(subclass Transfusion IVTherapy)	Medicine.kif 6001-6001	Transfusion is a subclass of IV Therapy

appearance as argument number 2

(termFormat EnglishLanguage Transfusion "transfusion")

Medicine.kif 6005-6005

antecedent

(=>
    (instance ?T Transfusion)
    (exists (?B)
        (and
            (instance ?B Blood)
            (objectTransferred ?T ?B))))

Medicine.kif 6007-6012

If a transfer is an instance of transfusion,
then there exists an object such that the object is an instance of blood and the object transferred in the transfer is the object