InvasiveVentilator - Sigma Knowledge base Browser

appearance as argument number 1

(documentation InvasiveVentilator EnglishLanguage "A ventilator that requires Intubation.")	Medicine.kif 4107-4108
(subclass InvasiveVentilator AirPump)	Medicine.kif 4105-4105	Invasive ventilator is a subclass of air pump

appearance as argument number 2

(disjoint NonInvasiveVentilator InvasiveVentilator)	Medicine.kif 4099-4099	Non-invasive ventilator is disjoint from invasive ventilator
(termFormat EnglishLanguage InvasiveVentilator "invasive ventilator")	Medicine.kif 4106-4106	Non-invasive ventilator is disjoint from invasive ventilator

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