No TPTP formula. May not be expressible in strict first order. | Merge.kif 14834-14834 | Hormone is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14835-14835 | Hormone is a subclass of biologically active substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12226-12226 | Thyroid hormone is a subclass of hormone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12261-12261 | Thyroid stimulating hormone is a subclass of hormone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12280-12280 | Insulin is a subclass of hormone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12288-12288 | Androgen is a subclass of hormone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12300-12300 | Epinephrine is a subclass of hormone |