ApplyingTourniquet - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ApplyingTourniquet EnglishLanguage "The process of applying a tourniquet to an injured mammal.")	Medicine.kif 63-64
(subclass ApplyingTourniquet Attaching)	Medicine.kif 61-61	Applying a tourniquet is a subclass of attaching
(subclass ApplyingTourniquet TherapeuticProcess)	Medicine.kif 62-62	Applying a tourniquet is a subclass of therapeutic process

appearance as argument number 2

Medicine.kif 65-65

antecedent

(=>
    (instance ?AT ApplyingTourniquet)
    (exists (?A ?P ?T)
        (and
            (instance ?A Agent)
            (instance ?P Mammal)
            (holdsDuring
                (WhenFn ?AT)
                (attribute ?T Tourniquet))
            (destination ?AT ?P)
            (agent ?AT ?A)
            (objectTransferred ?AT ?T))))

Medicine.kif 67-78

consequent

(=>
    (and
        (instance ?B Bleeding)
        (instance ?D Death)
        (instance ?H Human)
        (instance ?P Human)
        (experiencer ?B ?P)
        (orientation ?H ?P Near)
        (modalAttribute
            (causes ?B ?D) Likely))
    (holdsObligation ?H
        (exists (?A)
            (and
                (instance ?A ApplyingTourniquet)
                (agent ?A ?H)
                (destination ?A ?P)))))

Medicine.kif 44-59