Intubation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Intubation EnglishLanguage "A ventilator that does not require Intubation.")	Medicine.kif 4133-4134
(subclass Intubation Inserting)	Medicine.kif 4155-4155	Intubation is a subclass of inserting
(documentation Intubation EnglishLanguage "The process of Inserting a Tube into the Trachea to support Breathing.")	Medicine.kif 4157-4158	Intubation is a subclass of inserting

appearance as argument number 2

(termFormat EnglishLanguage Intubation "intubation")

antecedent

(=> (and (instance ?I Intubation) (instance ?T Tube) (objectTransferred ?I ?T) (experiencer ?I ?H)) (hasPurpose ?I (exists (?B) (and (instance ?B Breathing) (instrument ?B ?T)))))	Medicine.kif 4160-4170	If X is an instance of intubation, Y is an instance of tube, the object transferred in X is Y, and Z experiences X, then X has the purpose there exists W such that W is an instance of breathing and Y is an instrument for W
(=> (and (instance ?I Intubation) (instance ?T Tube) (objectTransferred ?I ?T) (experiencer ?I ?H)) (exists (?TH) (and (instance ?TH Trachea) (part ?TH ?H) (destination ?I ?TH))))	Medicine.kif 4172-4182	If X is an instance of intubation, Y is an instance of tube, the object transferred in X is Y, and Z experiences X, then there exists W such that W is an instance of trachea, W is a part of Z, and X ends up at W

consequent

(=>
    (and
        (instance ?IV InvasiveVentilator)
        (instance ?B Breathing)
        (experiencer ?B ?H)
        (instrument ?B ?IV))
    (exists (?IN)
        (and
            (instance ?IN Intubation)
            (destination ?IN ?H)
            (earlier
                (WhenFn ?IN)
                (WhenFn ?B)))))

If X is an instance of invasive ventilator, Y is an instance of breathing, Z experiences Y, and X is an instrument for Y, then there exists W such that W is an instance of intubation, W ends up at Z, and the time of existence of W happens earlier than the time of existence of Y