PepticUlcers - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PepticUlcers EnglishLanguage "The presence of Ulcers in the Stomach.")	Medicine.kif 4966-4967
(instance PepticUlcers DiseaseOrSyndrome)	Medicine.kif 4965-4965	Stomach ulcers is an instance of disease or syndrome

appearance as argument number 2

(diseaseMedicine Nizatidine PepticUlcers Ingesting)	Medicine.kif 4968-4968	Nizatidine is disease treatment stomach ulcers for ingesting
(termFormat EnglishLanguage PepticUlcers "peptic ulcers")	Medicine.kif 4969-4969	Nizatidine is disease treatment stomach ulcers for ingesting
(termFormat EnglishLanguage PepticUlcers "stomach ulcers")	Medicine.kif 4970-4970	Nizatidine is disease treatment stomach ulcers for ingesting

antecedent

(=>
    (attribute ?H PepticUlcers)
    (exists (?S ?U)
        (and
            (instance ?S Stomach)
            (instance ?U Ulcer)
            (part ?S ?H)
            (located ?U ?S))))

Medicine.kif 4972-4979