Intubation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Intubation EnglishLanguage "A ventilator that does not require Intubation.")	Medicine.kif 4098-4099
(documentation Intubation EnglishLanguage "The process of Inserting a Tube into the Trachea to support Breathing.")	Medicine.kif 4120-4121
(subclass Intubation Inserting)	Medicine.kif 4119-4119

antecedent

(=> (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 4135-4145
(=> (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 4123-4133

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

Medicine.kif 4105-4117