Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hormone
Hormone(hormone)
ACTH, ADH, Adrenalin, Cortef, Cortone_Acetate, Estronol, FSH, GI_hormones, HCG, Hydrocortone, IAA, ICSH, LH, Lipo-Lutin, MSH, Pediapred, Pitressin, Prelone, Protropin, RH, STH, TRF, TRH, adrenaline, adrenergic, adrenocortical, adrenocorticotrophic_hormone, adrenocorticotrophin, adrenocorticotropic_hormone, adrenocorticotropin, adrenosterone, aldosterone, anabolic_steroid, androgen, androgenic, androgenic_hormone, androsterone, anovulant, anovulatory_drug, antidiuretic_hormone, auxinic, birth_control_pill, cholecystokinin, contraceptive_pill, corticosterone, corticotrophin, corticotropin, cortisol, cortisone, endocrine...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14974-14977
No TPTP formula. May not be expressible in strict first order. Merge.kif 14966-14973
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4729-4729 "http://upload.wikimedia.org/wikipedia/commons/9/91/ Growth_hormone.png" is a URL depicting hormone
No TPTP formula. May not be expressible in strict first order. Merge.kif 14965-14965 Hormone is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14964-14964 Hormone is a subclass of body substance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10156-10156 HormoneTS h is a subclass of hormone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10175-10175 Insulin is a subclass of hormone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10150-10150 Thyroid hormone is a subclass of hormone
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1011-1011 "激素" is the printable form of hormone in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 698-698 "hormone" is the printable form of hormone in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14979-14985


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners