No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1068-1068 | IV Therapy is a subclass of ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1069-1069 | IV Therapy is a subclass of therapeutic process |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5984-5984 | Transfusion is a subclass of IV Therapy |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6156-6156 | IV bolus therapy is a subclass of IV Therapy |