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



KB Term:  Term intersection
English Word: 

  Thoracentesis

Sigma KEE - Thoracentesis
Thoracentesis(needle decompression)

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


(subclass Thoracentesis TherapeuticProcess) Medicine.kif 856-856 Needle decompression is a subclass of therapeutic process
(subclass Thoracentesis Removing) Medicine.kif 857-857 Needle decompression is a subclass of removing
(documentation Thoracentesis EnglishLanguage "Thoracentesis, also known as thoracocentesis pleural tap, needle thoracostomy, or needle decompression (often used term), is an invasive medical procedure to remove Fluid or Air from the pleural space for diagnostic or therapeutic purposes. A cannula, or hollow needle, is carefully introduced into the thorax, generally after administration of local Anesthesia. The recommended location varies depending upon the source. Some sources recommend the midaxillary line, in the eighth, ninth, or tenth intercostal space. Whenever possible, the procedure should be performed under ultrasound guidance, which has shown to reduce complications. Tension Pneumothorax is a medical emergency that requires needle decompression before a chest tube is placed.[from Wikipedia]") Medicine.kif 858-867 Needle decompression is a subclass of removing

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


(termFormat EnglishLanguage Thoracentesis "thoracentesis") Medicine.kif 868-868
(termFormat EnglishLanguage Thoracentesis "thoracocentesis") Medicine.kif 869-869
(termFormat EnglishLanguage Thoracentesis "pleural tap") Medicine.kif 870-870
(termFormat EnglishLanguage Thoracentesis "needle thoracostomy") Medicine.kif 871-871
(termFormat EnglishLanguage Thoracentesis "needle decompression") Medicine.kif 872-872

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


(=>
    (and
        (instance ?T Thoracentesis)
        (patient ?T ?H))
    (exists (?I ?O ?IN ?L ?C ?F)
        (and
            (instance ?I Inserting)
            (subProcess ?I ?T)
            (objectTransferred ?I ?N)
            (origin ?I ?O)
            (destination ?I ?IN)
            (instance ?N Needle)
            (attribute ?F Fluid)
            (objectTransferred ?T ?F)
            (destination ?F ?O)
            (instance ?L Lung)
            (instance ?C Chest)
            (part ?L ?H)
            (part ?C ?H)
            (origin ?T ?IN)
            (destination ?T ?O)
            (between ?L ?IN ?C)
            (orientation ?O ?H Outside))))
Medicine.kif 874-896 If X is an instance of needle decompression and Y is a patient of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T (2) S such that Z is an instance of inserting (3) Z is a subprocess of X (4) the object transferred in Z is R (5) Z originates at W (6) Z ends up at V (7) R is an instance of needle (8) fluid is an attribute of S (9) the object transferred in X is S (10) S ends up at W (11) U is an instance of lung (12) T is an instance of chest (13) U is a part of Y (14) T is a part of Y (15) X originates at V (16) X ends up at W (17) V is between U (18) T (19) W is outside of to Y

consequent
-------------------------


(=>
    (instance ?DN DecompressionNeedle)
    (hasPurpose ?DN
        (exists (?T)
            (and
                (instance ?T Thoracentesis)
                (instrument ?T ?DN)))))
Medicine.kif 6080-6086 If X is an instance of decompression needle, then X has the purpose there exists Y such that Y is an instance of needle decompression and X is an instrument for Y


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