GERefluxDisease - Sigma Knowledge base Browser

appearance as argument number 1

(subclass GERefluxDisease PathologicProcess)	Medicine.kif 1877-1877	GERD is a subclass of pathologic process
(documentation GERefluxDisease EnglishLanguage "Gastroesophageal reflux disease (GERD), is a chronic condition in which Stomach contents rise up into the Esophagus, resulting in either symptoms or complications. Symptoms include the taste of acid in the back of the mouth, heartburn, bad breath, ChestPain, regurgitation, Breathing problems, and wearing away of the Teeth. Complications include esophagitis, esophageal stricture, and Barrett's esophagus. Risk factors include obesity, pregnancy, smoking, hiatal hernia, and taking certain medicines. Medications that may cause or worsen the disease include Benzodiazepines, calcium channel blockers, tricyclic Antidepressants, NSAIDs, certain Asthma medicine. Acid reflux is due to poor closure of the lower esophageal sphincter, which is at the junction between the stomach and the esophagus. Diagnosis among those who do not improve with simpler measures may involve gastroscopy, upper GI series, esophageal pH monitoring, or esophageal manometry. Treatment options include lifestyle changes, medications, and sometimes Surgery for those who do not improve with the first two measures.[from Wikipedia]")	Medicine.kif 1879-1896	GERD is a subclass of pathologic process

appearance as argument number 2

(termFormat EnglishLanguage GERefluxDisease "Gastroesophageal reflux disease")	Medicine.kif 1897-1897
(termFormat EnglishLanguage GERefluxDisease "GERD")	Medicine.kif 1898-1898

antecedent

(=>
    (and
        (instance ?GERD GERefluxDisease)
        (experiencer ?GERD ?H))
    (exists (?T ?S ?E)
        (and
            (instance ?T Transfer)
            (origin ?T ?S)
            (instance ?S Stomach)
            (instance ?E Esophagus)
            (destination ?T ?E)
            (part ?S ?H)
            (part ?E ?H)
            (subProcess ?T ?GERD))))

If X is an instance of GERD and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) Z originates at W (4) W is an instance of stomach (5) V is an instance of esophagus (6) Z ends up at V (7) W is a part of Y (8) V is a part of Y (9) Z is a subprocess of X