|
|
   BreadOrBiscuit
|
|
|
| appearance as argument number 1 |
|
|
| (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 1070-1075 | |
| (subclass IVTherapy Ingesting) | Medicine.kif 1068-1068 | IV Therapy is a subclass of ingesting |
| (subclass IVTherapy TherapeuticProcess) | Medicine.kif 1069-1069 | IV Therapy is a subclass of therapeutic process |
| appearance as argument number 2 |
|
|
| (subclass IVBolusTherapy IVTherapy) | Medicine.kif 6156-6156 | IV bolus therapy is a subclass of IV Therapy |
| (subclass Transfusion IVTherapy) | Medicine.kif 5984-5984 | Transfusion is a subclass of IV Therapy |
| (termFormat EnglishLanguage IVTherapy "IV Therapy") | Medicine.kif 1076-1076 |
| antecedent |
|
|
| (=> (instance ?IVT IVTherapy) (exists (?P ?V ?T) (and (instance ?T IVLine) (path ?IVT ?T) (instance ?V Vein) (destination ?IVT ?V)))) |
Medicine.kif 1078-1085 |
|
| consequent |
|
|
| (=> (instance ?IVL IVLine) (hasPurpose ?IVL (exists (?IVT) (and (instance ?IVT IVTherapy) (instrument ?IVT ?IVL))))) |
Medicine.kif 1091-1097 |
|
|
|
|