ProtonPumpInhibitor - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ProtonPumpInhibitor EnglishLanguage "Proton_pump inhibitors (PPIs) are a class of Medicine that cause a profound and prolonged reduction of stomach acid production. They do so by irreversibly inhibiting the stomach's H+/ K+ ATPase proton pump. They are the most potent inhibitors of acid secretion available. Proton_pump inhibitors have largely superseded the H2-receptor antagonists, a group of medications with similar effects but a different mode of action. PPIs are among the most widely sold medications in the world. The class of proton_pump inhibitor medications is on the WorldHealthOrganization's List of Essential Medicines. Omeprazole is the specific listed example.[from Wikipedia]")	Mid-level-ontology.kif 10781-10792
(roomTempState ProtonPumpInhibitor Liquid)	Mid-level-ontology.kif 32764-32764	roomTempState PPI and liquid
(subclass ProtonPumpInhibitor Medicine)	Mid-level-ontology.kif 10779-10779	PPI is a subclass of medicine

appearance as argument number 2

(termFormat EnglishLanguage ProtonPumpInhibitor "PPI")	Mid-level-ontology.kif 10794-10794
(termFormat EnglishLanguage ProtonPumpInhibitor "proton pump inhibitor")	Mid-level-ontology.kif 10793-10793

antecedent

(=>
    (and
        (instance ?A ProtonPumpInhibitor)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))

Mid-level-ontology.kif 10796-10818