No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3334-3334 | 子類 Thyroxine and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3341-3341 | 子類 Levothyroxine and Thyroxine |