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


KB Term:  Term intersection
English Word: 

Sigma KEE - ThyroidHormone
ThyroidHormone(thyroid hormone)
T, calcitonin, liothyronine, tetraiodothyronine, thyrocalcitonin, thyroid_hormone, thyroxin, thyroxine, triiodothyronine

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


(subclass ThyroidHormone Hormone) Mid-level-ontology.kif 13823-13823 Thyroid hormone is a subclass of hormone
(documentation ThyroidHormone EnglishLanguage "A Hormone secreted by the ThyroidGland.") Mid-level-ontology.kif 13824-13824 Thyroid hormone is a subclass of hormone
(externalImage ThyroidHormone "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ Thyroxine-2D_skeletal.png") pictureList.kif 8756-8756 Thyroid hormone is a subclass of hormone
(externalImage ThyroidHormone "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ T3-3D_balls.png") pictureList.kif 9729-9729 Thyroid hormone is a subclass of hormone
(externalImage ThyroidHormone "http://upload.wikimedia.org/wikipedia/commons/ a/ a5/ Iodothyronine_deiodinase.png") pictureList.kif 9730-9730 Thyroid hormone is a subclass of hormone

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


(secretesSubstance ThyroidGland ThyroidHormone) Mid-level-ontology.kif 13822-13822 Thyroid hormone is a secretes substance of thyroid gland
(termFormat EnglishLanguage ThyroidHormone "thyroid hormone") domainEnglishFormat.kif 57991-57991 Thyroid hormone is a secretes substance of thyroid gland
(termFormat ChineseTraditionalLanguage ThyroidHormone "甲狀腺激素") domainEnglishFormat.kif 57992-57992 Thyroid hormone is a secretes substance of thyroid gland
(termFormat ChineseLanguage ThyroidHormone "甲状腺激素") domainEnglishFormat.kif 57993-57993 Thyroid hormone is a secretes substance of thyroid gland

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


(=>
    (and
        (instance ?IBD GravesDisease)
        (experiencer ?IBD ?H1)
        (instance ?H1 Human)
        (instance ?T1 ThyroidHormone)
        (part ?T1 ?H1)
        (measure ?T1
            (MeasureFn ?N1 ?U))
        (instance ?H2 Human)
        (instance ?T2 ThyroidHormone)
        (part ?T2 ?H2)
        (measure ?T2
            (MeasureFn ?N2 ?U))
        (attribute ?H2 Healthy))
    (greaterThan ?N1 ?N2))
Medicine.kif 2342-2357 If All of the following hold: (1) X is an instance of Graves' disease (2) Y experiences X (3) Y is an instance of human (4) Z is an instance of thyroid hormone (5) Z is a part of Y (6) the measure of Z is W V(s) (7) U is an instance of human (8) T is an instance of thyroid hormone (9) T is a part of U (10) the measure of T is S V(s) (11) healthy is an attribute of U, then W is greater than S
(=>
    (and
        (instance ?IBD HashimotosThyroiditis)
        (experiencer ?IBD ?H1)
        (instance ?H1 Human)
        (instance ?T1 ThyroidHormone)
        (part ?T1 ?H1)
        (measure ?T1
            (MeasureFn ?N1 ?U))
        (instance ?H2 Human)
        (instance ?T2 ThyroidHormone)
        (part ?T2 ?H2)
        (measure ?T2
            (MeasureFn ?N2 ?U))
        (attribute ?H2 Healthy))
    (greaterThan ?N2 ?N1))
Medicine.kif 2388-2403 If All of the following hold: (1) X is an instance of Hashimoto's thyroiditis (2) Y experiences X (3) Y is an instance of human (4) Z is an instance of thyroid hormone (5) Z is a part of Y (6) the measure of Z is W V(s) (7) U is an instance of human (8) T is an instance of thyroid hormone (9) T is a part of U (10) the measure of T is S V(s) (11) healthy is an attribute of U, then S is greater than W


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners