TreeView Knowledge Base Browser - InvasiveVentilator

appearance as argument number 1

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

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

Wenn Object ist ein fall von InvasiveVentilator %n{nicht} und Process ist ein fall von Breathing %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht} und ** Object ist ein instrument fuer ** Process %n{nicht},
dann es gibt ** Process um ** ** Process ist ein fall von Intubation %n{nicht} und ** ** Process endet an ** AutonomousAgent %n{nicht} und die zeit des Bestehens von ** ** Process geschieht frueh als die zeit des Bestehens von ** Process %n{nicht}