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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Catheter
Catheter

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 Catheter e' uma sub-classe de MedicalDevice
(subclass Catheter Tube) Medicine.kif 533-533 Catheter e' uma sub-classe de Tube

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


(subclass IVLine Catheter) Medicine.kif 1087-1087 IVLine e' uma sub-classe de Catheter
(subclass IntraosseousDevice Catheter) Medicine.kif 1189-1189 IntraosseousDevice e' uma sub-classe de Catheter
(subclass NasopharyngealAirway Catheter) Medicine.kif 717-717 NasopharyngealAirway e' uma sub-classe de Catheter
(termFormat EnglishLanguage Catheter "cannula") Medicine.kif 546-546
(termFormat EnglishLanguage Catheter "catheter") Medicine.kif 545-545

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