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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Goiter
Goiter(甲状腺肿)

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


(documentation Goiter EnglishLanguage "A DiseaseOrSyndrome which is due to an Iodine deficiency and which results in an enlarged ThyroidGland.") Mid-level-ontology.kif 6172-6173
(externalImage Goiter "http://upload.wikimedia.org/wikipedia/commons/4/43/ Kone_med_stor_struma.jpg") pictureList.kif 4703-4703
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 6171-6171 甲状腺肿疾病或综合症instance

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


(termFormat ChineseLanguage Goiter "甲状腺肿") domainEnglishFormat.kif 26196-26196
(termFormat ChineseTraditionalLanguage Goiter "甲狀腺腫") domainEnglishFormat.kif 26195-26195
(termFormat EnglishLanguage Goiter "goiter") domainEnglishFormat.kif 26194-26194

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


(=>
    (attribute ?H Goiter)
    (exists (?G ?P)
        (and
            (instance ?G ThyroidGland)
            (part ?G ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?G))))
Mid-level-ontology.kif 6175-6182


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