| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14856-14856 | Hormone est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14857-14857 | Hormone est une sous-classe de substance biologique active |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12225-12225 | ThyroidHormone est une sous-classe de hormone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12260-12260 | ThyroidStimulatingHormone est une sous-classe de hormone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12279-12279 | Insulin est une sous-classe de hormone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12287-12287 | Androgen est une sous-classe de hormone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12299-12299 | Adrenaline est une sous-classe de hormone |
|
|