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 534-544
(subclass Catheter MedicalDevice) Medicine.kif 532-532 Cannula is a subclass of medical device
(subclass Catheter Tube) Medicine.kif 533-533 Cannula is a subclass of tube

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


(subclass IVLine Catheter) Medicine.kif 1087-1087 IV Line is a subclass of cannula
(subclass IntraosseousDevice Catheter) Medicine.kif 1189-1189 Intraosseous device is a subclass of cannula
(subclass NasopharyngealAirway Catheter) Medicine.kif 717-717 Nose hose is a subclass of cannula
(termFormat EnglishLanguage Catheter "cannula") Medicine.kif 546-546 Nose hose is a subclass of cannula
(termFormat EnglishLanguage Catheter "catheter") Medicine.kif 545-545 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 548-564

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


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


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