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	子類 ApplyingTourniquet and Attaching
(subclass ApplyingTourniquet TherapeuticProcess)	Medicine.kif 62-62	子類 ApplyingTourniquet and TherapeuticProcess

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