No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8577-8577 | 类固醇 是 有机化合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8578-8578 | 类固醇 是 生物活性物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8706-8706 | 胆固醇 是 类固醇 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12283-12283 | Cortisol 是 类固醇 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12285-12285 | Aldosterone 是 类固醇 的 subclass |