| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14856-14856 | 子類 Hormone and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14857-14857 | 子類 Hormone and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12225-12225 | 子類 甲狀腺激素 and Hormone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12260-12260 | 子類 激素TSH and Hormone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12279-12279 | 子類 胰島素 and Hormone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12287-12287 | 子類 Androgen and Hormone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12299-12299 | 子類 Adrenaline and Hormone |
|
|