| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8577-8577 | 子類 類固醇 and 有機化合物 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8578-8578 | 子類 類固醇 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8706-8706 | 子類 膽固醇 and 類固醇 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12283-12283 | 子類 Cortisol and 類固醇 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12285-12285 | 子類 Aldosterone and 類固醇 |
|
|