No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3334-3334 | Thyroxine est une sous-classe de substance biologique active |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3341-3341 | Levothyroxine est une sous-classe de Thyroxine |
![]() |