Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Catheter
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Catheter MedicalDevice) | Medicine.kif 509-509 | Cannula is a subclass of medical device |
| (subclass Catheter Tube) | Medicine.kif 510-510 | Cannula is a subclass of tube |
| (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 511-521 | Cannula is a subclass of tube |
| appearance as argument number 2 |
|
|
| 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 525-541 | If X is an instance of cannula, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Z is an instance of organism (3) Y is an instance of motion (4) W moves during Y (5) V is outside of to Z (6) X is path along which Y occurs (7) Y originates at V (8) Y ends up at Z or Y originates at Z (9) Y ends up at V |
| consequent |
|
|
| (=> (instance ?C Catheterization) (exists (?CATH ?O) (and (instance ?CATH Catheter) (instance ?O Organism) (objectTransferred ?C ?CATH) (destination ?C ?O)))) |
Medicine.kif 547-554 | If X is an instance of catheterization, then there exist Y, Z such that Y is an instance of cannula, Z is an instance of organism, the object transferred in X is Y, and X ends up at Z |
|