Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


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

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


(secretesSubstance ThyroidGland ThyroidHormone) Mid-level-ontology.kif 13574-13574 Thyroid hormone is a secretes substance of thyroid gland
(termFormat ChineseLanguage ThyroidHormone "甲状腺激素") domainEnglishFormat.kif 58029-58029 Thyroid hormone is a secretes substance of thyroid gland
(termFormat ChineseTraditionalLanguage ThyroidHormone "甲狀腺激素") domainEnglishFormat.kif 58028-58028 Thyroid hormone is a secretes substance of thyroid gland
(termFormat EnglishLanguage ThyroidHormone "thyroid hormone") domainEnglishFormat.kif 58027-58027 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 2334-2349
(=>
    (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 2380-2395


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 is open source software produced by Articulate Software and its partners