PepticUlcers - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(diseaseMedicine Nizatidine PepticUlcers Ingesting)	Medicine.kif 4975-4975	Nizatidine is disease treatment stomach ulcers for ingesting
(termFormat EnglishLanguage PepticUlcers "peptic ulcers")	Medicine.kif 4976-4976	Nizatidine is disease treatment stomach ulcers for ingesting
(termFormat EnglishLanguage PepticUlcers "stomach ulcers")	Medicine.kif 4977-4977	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 4979-4986