ApplyingTourniquet - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

antecedent

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

If X is an instance of applying a tourniquet, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of agent (3) Z is an instance of mammal (4) tourniquet is an attribute of W holds during the time of existence of X (5) X ends up at Z (6) Y is an agent of X (7) the object transferred in X is W

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)))))

If All of the following hold: (1) X is an instance of bleeding (2) Y is an instance of death (3) Z is an instance of human (4) W is an instance of human (5) W experiences X (6) Z is near to W (7) the statement X causes Y has the modal force of likely, then Z is obliged to perform tasks of type there exists V such that V is an instance of applying a tourniquet, Z is an agent of V, and V ends up at W