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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Catheter
Catheter(cannula)

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


(documentation Catheter EnglishLanguage "In medicine, a catheter is a thin tube made from medical grade materials serving a broad range of functions. Catheters are MedicalDevices that can be inserted in the body to treat diseases or perform a surgical procedure. Catheters are manufactured for specific applications, such as cardiovascular, urological, gastrointestinal, neurovascular and ophthalmic procedures. The process of inserting a catheter is Catheterization. Catheters can be inserted into a BodyCavity, duct, or vessel, Brain, Skin or adipose tissue. Functionally, they allow drainage, administration of Fluids or Gases, access by surgical instruments, and also perform a wide variety of other tasks depending on the type of catheter. Special types of catheters, also called probes, are used in preclinical or clinical research for sampling of lipophilic and hydrophilic compounds, protein-bound and unbound drugs, neurotransmitters, peptides and Proteins, Antibodies, nanoparticles and nanocarriers, Enzymes and vesicles.[from Wikipedia]") Medicine.kif 522-532
(subclass Catheter MedicalDevice) Medicine.kif 520-520 Cannula is a subclass of medical device
(subclass Catheter Tube) Medicine.kif 521-521 Cannula is a subclass of tube

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


(subclass IVLine Catheter) Medicine.kif 1075-1075 IV Line is a subclass of cannula
(subclass IntraosseousDevice Catheter) Medicine.kif 1177-1177 Intraosseous device is a subclass of cannula
(subclass NasopharyngealAirway Catheter) Medicine.kif 705-705 Nose hose is a subclass of cannula
(termFormat EnglishLanguage Catheter "cannula") Medicine.kif 534-534 Nose hose is a subclass of cannula
(termFormat EnglishLanguage Catheter "catheter") Medicine.kif 533-533 Nose hose is a subclass of cannula

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


(=>
    (instance ?C Catheter)
    (hasPurpose ?C
        (exists (?M ?O ?OBJ ?L)
            (and
                (instance ?O Organism)
                (instance ?M Motion)
                (moves ?M ?OBJ)
                (orientation ?L ?O Outside)
                (path ?M ?C)
                (or
                    (and
                        (origin ?M ?L)
                        (destination ?M ?O))
                    (and
                        (origin ?M ?O)
                        (destination ?M ?L)))))))
Medicine.kif 536-552

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


(=>
    (instance ?C Catheterization)
    (exists (?CATH ?O)
        (and
            (instance ?CATH Catheter)
            (instance ?O Organism)
            (objectTransferred ?C ?CATH)
            (destination ?C ?O))))
Medicine.kif 558-565


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



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