Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Intubation

Sigma KEE - Intubation
Intubation

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

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners