No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1068-1068 | 子類 IVTherapy and Ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1069-1069 | 子類 IVTherapy and TherapeuticProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5984-5984 | 子類 Transfusion and IVTherapy |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6156-6156 | 子類 IVBolusTherapy and IVTherapy |