Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Catheterization(catheterization) |
| appearance as argument number 1 |
|
| (subclass Catheterization Inserting) | Medicine.kif 543-543 | Catheterization is a subclass of inserting |
| (documentation Catheterization EnglishLanguage "The Process of Inserting a Catheter into an Organism.") | Medicine.kif 544-544 | Catheterization is a subclass of inserting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Catheterization "catheterization") | Medicine.kif 545-545 |
| antecedent |
|
|
| (=> (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 |
|