No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12292-12293 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12303-12303 |
Epinephrine is a secretes substance of adrenal gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12297-12297 |
Aldosterone is a secretes substance of adrenal gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12298-12298 |
Androgen is a secretes substance of adrenal gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12296-12296 |
Cortisol is a secretes substance of adrenal gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12291-12291 |
Adrenal gland is a subclass of gland |