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

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