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 |
|
![]() |
![]() |