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, Artipisyal_na_kalamnan, Cortef, Cortone_Acetate, Estronol, FSH, GI_hormones, HCG, Hormonio, Hydrocortone, IAA, ICSH, LH, Lipo-Lutin, MSH, Ormone, 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...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14837-14840
No TPTP formula. May not be expressible in strict first order. Merge.kif 14829-14836
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 14828-14828 Hormone is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14827-14827 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 10144-10144 HormoneTS h is a subclass of hormone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10163-10163 Insulin is a subclass of hormone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10138-10138 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 688-688 "hormone" is the printable form of hormone in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 219-219 "haarmona" is the printable form of hormone in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 220-220 "Ormone" is the printable form of hormone in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 640-640 "Hormonio" is the printable form of hormone in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 424-424 "هُرْمُون" is the printable form of hormone in ar
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 256-256 "hormone" is the printable form of hormone in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 223-223 "Artipisyal na kalamnan" is the printable form of hormone in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14842-14848


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