No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8577-8577 | Steroid est une sous-classe de OrganicCompound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8578-8578 | Steroid est une sous-classe de substance biologique active |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8706-8706 | Cholesterol est une sous-classe de Steroid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12283-12283 | Cortisol est une sous-classe de Steroid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12285-12285 | Aldosterone est une sous-classe de Steroid |
![]() |