| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8578-8578 | Steroid is a subclass of organic compound |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8579-8579 | Steroid is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8707-8707 | Cholesterol is a subclass of steroid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12284-12284 | Cortisol is a subclass of steroid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12286-12286 | Aldosterone is a subclass of steroid |
|
|