Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Cricothyroidotomy

 Sigma KEE - Cricothyroidotomy
Cricothyroidotomy(cricothyrotomy)

appearance as argument number 1
-------------------------


(subclass Cricothyroidotomy Surgery) Medicine.kif 720-720 Cricothyrotomy is a subclass of surgery
(documentation Cricothyroidotomy EnglishLanguage "A cricothyrotomy (also called cricothyroidotomy) is an incision made through the Skin and cricothyroid membrane to establish a patient Airway during certain life-threatening situations, such as airway obstruction by a foreign body, angioedema, or massive facial trauma. Cricothyrotomy is nearly always performed as a last resort in cases where other means of tracheal intubation are impossible or impractical. Compared with tracheotomy, cricothyrotomy is quicker and easier to perform, does not require manipulation of the cervical spine, and is associated with fewer complications. However, while cricothyrotomy may be life saving in extreme circumstances, this technique is only intended to be a temporizing measure until a definitive airway can be established.[from Wikipedia]") Medicine.kif 721-728 Cricothyrotomy is a subclass of surgery

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Cricothyroidotomy "cricothyroidotomy") Medicine.kif 729-729
(termFormat EnglishLanguage Cricothyroidotomy "cricothyrotomy") Medicine.kif 730-730

antecedent
-------------------------


(=>
    (and
        (instance ?C Cricothyroidotomy)
        (patient ?C ?O))
    (holdsDuring
        (EndFn
            (WhenFn ?C))
        (exists (?H)
            (and
                (instance ?H HoleRegion)
                (equal ?T
                    (HoleHostFn ?H))
                (instance ?T Throat)
                (part ?T ?O)))))		 Medicine.kif 732-743 If X is an instance of cricothyrotomy and Y is a patient of X, then there exists Z such that Z is an instance of hole, equal W, the host of the hole Z, W is an instance of throat, and W is a part of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?C Cricothyroidotomy)
        (patient ?C ?O))
    (hasPurpose ?C
        (and
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?C))
                (exists (?B)
                    (and
                        (instance ?B
                            (ImpairmentFn Breathing))
                        (patient ?B ?O))))
            (not
                (holdsDuring
                    (ImmediateFutureFn
                        (WhenFn ?C))
                    (exists (?B)
                        (and
                            (instance ?B
                                (ImpairmentFn Breathing))
                            (patient ?B ?O))))))))		 Medicine.kif 745-764 If X is an instance of cricothyrotomy and Y is a patient of X, then X has the purpose there exists Z such that Z is an instance of impairment in breathing, Y is a patient of Z holds during immediately before the time of existence of X, there doesn't exist Z such that Z is an instance of impairment in breathing, and Y is a patient of Z doesn't hold during immediately after the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners