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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ThyroidHormone

Sigma KEE - ThyroidHormone
ThyroidHormone

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


(documentation ThyroidHormone EnglishLanguage "A Hormone secreted by the ThyroidGland.") Mid-level-ontology.kif 12254-12254
(externalImage ThyroidHormone "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ T3-3D-balls.png") pictureList.kif 9730-9730
(externalImage ThyroidHormone "http://upload.wikimedia.org/wikipedia/commons/ a/ a5/ Iodothyronine_deiodinase.png") pictureList.kif 9731-9731
(externalImage ThyroidHormone "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ Thyroxine-2D-skeletal.png") pictureList.kif 8757-8757
(subclass ThyroidHormone Hormone) Mid-level-ontology.kif 12253-12253

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


(secretesSubstance ThyroidGland ThyroidHormone) Mid-level-ontology.kif 12252-12252
(termFormat ChineseLanguage ThyroidHormone "甲状腺激素") domainEnglishFormat.kif 57994-57994
(termFormat ChineseTraditionalLanguage ThyroidHormone "甲狀腺激素") domainEnglishFormat.kif 57993-57993
(termFormat EnglishLanguage ThyroidHormone "thyroid hormone") domainEnglishFormat.kif 57992-57992

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 2336-2351
(=>
    (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 2382-2397


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

Show without tree


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