TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Intubation EnglishLanguage "A ventilator that does not require Intubation.")	Medicine.kif 4098-4099
(documentation Intubation EnglishLanguage "The process of Inserting a Tube into the Trachea to support Breathing.")	Medicine.kif 4120-4121
(subclass Intubation Inserting)	Medicine.kif 4119-4119	Intubation ist eine teilkategorie von 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 4135-4145	Wenn Transfer ist ein fall von Intubation %n{nicht} und Object ist ein fall von Tube %n{nicht} und objectTransferred Transfer and Object und AutonomousAgent erfaehrt Transfer %n{nicht}, dann es gibt ObjectH um ObjectH ist ein fall von Trachea %n{nicht} und ObjectH ist ein teil von AutonomousAgent %n{nicht} und Transfer endet an ** ObjectH %n{nicht}
(=> (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 4123-4133	Wenn Transfer ist ein fall von Intubation %n{nicht} und Object ist ein fall von Tube %n{nicht} und objectTransferred Transfer and Object und AutonomousAgent erfaehrt Transfer %n{nicht}, dann Transfer hat Zweck von es gibt entity um entity ist ein fall von Breathing %n{nicht} und Object ist ein instrument fuer ** entity %n{nicht} %n{nicht}

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 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}