No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8577-8577 | Steroid e' uma sub-classe de OrganicCompound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8578-8578 | Steroid e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8706-8706 | Cholesterol e' uma sub-classe de Steroid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12283-12283 | Cortisol e' uma sub-classe de Steroid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12285-12285 | Aldosterone e' uma sub-classe de Steroid |