Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IVLine(IV Line) |
| appearance as argument number 1 |
|
| (subclass IVLine Catheter) | Medicine.kif 1068-1068 | IV Line is a subclass of cannula |
| (documentation IVLine EnglishLanguage "A Tube designed to be used in IVTherapy.") | Medicine.kif 1069-1069 | IV Line is a subclass of cannula |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IVLine "IV Line") | Medicine.kif 1070-1070 |
| antecedent |
|
|
| (=> (instance ?IVL IVLine) (hasPurpose ?IVL (exists (?IVT) (and (instance ?IVT IVTherapy) (instrument ?IVT ?IVL))))) |
Medicine.kif 1072-1078 | If X is an instance of IV Line, then X has the purpose there exists Y such that Y is an instance of IV Therapy and X is an instrument for Y |
| consequent |
|
|
| (=> (instance ?IVT IVTherapy) (exists (?V ?T) (and (instance ?T IVLine) (path ?IVT ?T) (instance ?V Vein) (destination ?IVT ?V)))) |
Medicine.kif 1059-1066 | If X is an instance of IV Therapy, then there exist Y, Z such that Z is an instance of IV Line, Z is path along which X occurs, Y is an instance of vein, and X ends up at Y |
| (=> (instance ?SL SalineLock) (hasPurpose ?SL (exists (?IVL) (and (instance ?IVL IVLine) (connected ?SL ?IVL))))) |
Medicine.kif 1094-1100 | If X is an instance of saline lock, then X has the purpose there exists Y such that Y is an instance of IV Line and X is connected to Y |
|