Tourniquet |
appearance as argument number 1 |
(attribute Tourniquet RelationalAttribute) | Medicine.kif 15-15 | RelationalAttribute ist ein attribut von Tourniquet %n{nicht} |
(documentation Tourniquet EnglishLanguage "Any object used to stop or reduce Bleeding.") | Medicine.kif 16-16 |
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-39 |
|
consequent |
(=> (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 |
|