No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1068-1068 | IVTherapy 是 消化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1069-1069 | IVTherapy 是 治疗过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5984-5984 | Transfusion 是 IVTherapy 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6156-6156 | IVBolusTherapy 是 IVTherapy 的 subclass |
![]() |