InvasiveVentilator - Sigma Knowledge base Browser

appearance as argument number 1

(documentation InvasiveVentilator EnglishLanguage "A ventilator that requires Intubation.")	Medicine.kif 4102-4103
(subclass InvasiveVentilator AirPump)	Medicine.kif 4101-4101

appearance as argument number 2

(disjoint NonInvasiveVentilator InvasiveVentilator)

Medicine.kif 4096-4096

antecedent

(=>
    (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