No TPTP formula. May not be expressible in strict first order. | Merge.kif 14856-14856 | Hormone is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14857-14857 | Hormone is a subclass of biologically active substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12225-12225 | Thyroid hormone is a subclass of hormone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12260-12260 | Thyroid stimulating hormone is a subclass of hormone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12279-12279 | Insulin is a subclass of hormone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12287-12287 | Androgen is a subclass of hormone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12299-12299 | Epinephrine is a subclass of hormone |