Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProtonPumpInhibitor
ProtonPumpInhibitor

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 9912-9923
(roomTempState ProtonPumpInhibitor Liquid) Mid-level-ontology.kif 31673-31673 roomTempState ProtonPumpInhibitor and 液体
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 9910-9910 ProtonPumpInhibitor医学subclass

appearance as argument number 2
-------------------------


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

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 9927-9949


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners