Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IVTherapy(IV Therapy) |
| appearance as argument number 1 |
|
| (subclass IVTherapy Ingesting) | Medicine.kif 1049-1049 | IV Therapy is a subclass of ingesting |
| (subclass IVTherapy TherapeuticProcess) | Medicine.kif 1050-1050 | IV Therapy is a subclass of therapeutic process |
| (documentation IVTherapy EnglishLanguage "Intravenous therapy is a medical technique that administers Fluids, Medicine and/ or nutrients directly into a person's Vein. The intravenous route of administration is commonly used for rehydration or to provide nutrients for those who cannot, or will not—due to reduced mental states or otherwise—consume food or water by Mouth. It may also be used to administer medications or other medical therapy such as Blood products or Electrolytes to correct electrolyte imbalances. [from Wikipedia].") | Medicine.kif 1051-1056 | IV Therapy is a subclass of therapeutic process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (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 |
|