PepticUlcers - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(diseaseMedicine Nizatidine PepticUlcers Ingesting)	Medicine.kif 4956-4956	Nizatidine is disease treatment stomach ulcers for ingesting
(termFormat EnglishLanguage PepticUlcers "peptic ulcers")	Medicine.kif 4957-4957	Nizatidine is disease treatment stomach ulcers for ingesting
(termFormat EnglishLanguage PepticUlcers "stomach ulcers")	Medicine.kif 4958-4958	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 4960-4967