Intubation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Intubation EnglishLanguage "A ventilator that does not require Intubation.")	Medicine.kif 4086-4087
(documentation Intubation EnglishLanguage "The process of Inserting a Tube into the Trachea to support Breathing.")	Medicine.kif 4108-4109
(subclass Intubation Inserting)	Medicine.kif 4107-4107	Intubation is a subclass of inserting

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 4123-4133	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 4111-4121	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 4093-4105