TreeView Knowledge Base Browser

appearance as argument number 1

(attribute Tourniquet RelationalAttribute)	Medicine.kif 15-15	Relational attribute is an attribute of tourniquet
(documentation Tourniquet EnglishLanguage "Any object used to stop or reduce Bleeding.")	Medicine.kif 16-16	Relational attribute is an attribute of tourniquet

appearance as argument number 2

(termFormat EnglishLanguage Tourniquet "tourniquet")

Medicine.kif 17-17

antecedent

(=>
    (holdsDuring ?TIME
        (attribute ?T Tourniquet))
    (exists (?P ?B ?A)
        (and
            (instance ?P Human)
            (instance ?B Bleeding)
            (instance ?A Attaching)
            (experiencer ?B ?P)
            (destination ?A ?P)
            (objectTransferred ?A ?T)
            (hasPurpose ?T
                (not
                    (exists (?B2)
                        (and
                            (instance ?B2 Bleeding)
                            (overlapsTemporally
                                (WhenFn ?B2)
                                (ImmediateFutureFn
                                    (WhenFn ?A)))
                            (experiencer ?B2 ?P))))))))

Medicine.kif 20-40

If tourniquet is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of human (3) W is an instance of bleeding (4) V is an instance of attaching (5) Z experiences W (6) V ends up at Z (7) the object transferred in V is X (8) X has the purpose there doesn't exist U such that U is an instance of bleeding (9) immediately after the time of existence of V overlaps the time of existence of U (10) Z experiences U

consequent

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

Medicine.kif 68-79

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: