Goiter - Sigma Knowledge base Browser

appearance as argument number 1

(instance Goiter DiseaseOrSyndrome)	Mid-level-ontology.kif 7290-7290	A goiter is an instance of disease or syndrome
(documentation Goiter EnglishLanguage "A DiseaseOrSyndrome which is due to an Iodine deficiency and which results in an enlarged ThyroidGland.")	Mid-level-ontology.kif 7291-7292	A goiter is an instance of disease or syndrome
(externalImage Goiter "http://upload.wikimedia.org/wikipedia/commons/4/43/ Kone_med_stor_struma.jpg")	pictureList.kif 4702-4702	A goiter is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage Goiter "a goiter")	domainEnglishFormat.kif 26198-26198
(termFormat ChineseTraditionalLanguage Goiter "甲狀腺腫")	domainEnglishFormat.kif 26199-26199
(termFormat ChineseLanguage Goiter "甲状腺肿")	domainEnglishFormat.kif 26200-26200

antecedent

(=>
    (attribute ?H Goiter)
    (exists (?G ?P)
        (and
            (instance ?G ThyroidGland)
            (part ?G ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?G))))

If a goiter is an attribute of X, then there exist Y, Z such that Y is an instance of thyroid gland, Y is a part of X, Z is an instance of pathologic process, and Z is located at Y