Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Antacid(antacid) |  | Alka-seltzer, Brioschi, Bromo-seltzer, Maalox, Mylanta, Pepto-bismal, Prevacid, Prilosec, Rolaids, Tagamet, Tums, Zantac, alkaliser, alkalizer, antacid, antiacid, cimetidine, gastric_antacid, lansoprazole, omeprazole, ranitidine |
| appearance as argument number 1 |
|
|
| (subclass Antacid BiologicallyActiveSubstance) | Mid-level-ontology.kif 11273-11273 | Antacid is a subclass of biologically active substance |
| (documentation Antacid EnglishLanguage "An antacid is a substance which neutralizes stomach acidity and is used to relieve heartburn, indigestion or an upset stomach. Some antacids have been used in the treatment of constipation and diarrhea. Currently marketed antacids contain salts of aluminum, calcium, magnesium, or sodium. Some preparations contain a combination of two salts, such as magnesium carbonate and aluminum hydroxide.[from Wikipedia]") | Mid-level-ontology.kif 11275-11281 | Antacid is a subclass of biologically active substance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Antacid "antacid") | Mid-level-ontology.kif 11282-11282 | |
| (subclass Famotidine Antacid) | Medicine.kif 3593-3593 | Famotidine is a subclass of antacid |
| antecedent |
|
|
| (=> (and (instance ?A Antacid) (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 11284-11306 | If All of the following hold: (1) X is an instance of antacid (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of stomach (6) W is a part of Z (7) W contains V and V is an instance of fluid holds during immediately before the time of existence of Y (8) W contains U and U is an instance of fluid holds during immediately after the time of existence of Y (9) pH measure V and T (10) pH measure U and S, then S is greater than T |
|