Intubation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Intubation EnglishLanguage "A ventilator that does not require Intubation.")	Medicine.kif 4102-4103
(documentation Intubation EnglishLanguage "The process of Inserting a Tube into the Trachea to support Breathing.")	Medicine.kif 4126-4127
(subclass Intubation Inserting)	Medicine.kif 4124-4124	Intubation is a subclass of inserting

appearance as argument number 2

(termFormat EnglishLanguage Intubation "intubation")

Medicine.kif 4125-4125

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 4141-4151	If a transfer is an instance of intubation and an object is an instance of tube and the object transferred in the transfer is the object and an agent experiences the transfer, then there exists the objectH such that the objectH is an instance of trachea and the objectH is a part of the agent and the transfer ends up at the objectH
(=> (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 4129-4139	If a transfer is an instance of intubation and an object is an instance of tube and the object transferred in the transfer is the object and an agent experiences the transfer, then the transfer has the purpose there exists an entity such that the entity is an instance of breathing and the object is an instrument for the entity

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 4110-4122