| Stomach(stomach)
| | abdominal, breadbasket, stomach, tum, tummy |
| appearance as argument number 1 |
|
|
| (subclass Stomach Organ) | Mid-level-ontology.kif 13421-13421 | Stomach is a subclass of organ |
| (subclass Stomach AnimalAnatomicalStructure) | Mid-level-ontology.kif 13422-13422 | Stomach is a subclass of animal anatomical structure |
| (documentation Stomach EnglishLanguage "A muscular sac that is the principal organ of digestion.") | Mid-level-ontology.kif 13423-13424 | Stomach is a subclass of animal anatomical structure |
| (typicalPart Stomach GastroIntestinalTract) | Mid-level-ontology.kif 13456-13456 | A stomach is typically a part of a GI |
| (connectedBodyPart Stomach Intestine) | Mid-level-ontology.kif 13462-13462 | A stomach is connected to a intestine |
| (externalImage Stomach "http://upload.wikimedia.org/wikipedia/commons/b/ b8/ Stomach.amedd.jpg") | pictureList.kif 181-181 | A stomach is connected to a intestine |
| appearance as argument number 2 |
|
|
| 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 11208-11230 | 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 |
| (=> (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 11269-11291 | If All of the following hold: (1) X is an instance of PPI (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 |
| (=> (instance ?S Stomach) (capability Digesting instrument ?S)) |
Mid-level-ontology.kif 13426-13428 | If X is an instance of stomach, then X is capable of doing digesting as a instrument |
| consequent |
|
|
| (=> (instance ?B Bloating) (exists (?P ?S ?I ?G) (and (experiencer ?B ?P) (instance ?G Gas) (or (and (part ?I ?P) (instance ?I Intestine) (contains ?I ?G)) (and (part ?S ?P) (instance ?S Stomach) (contains ?S ?G)))))) |
Mid-level-ontology.kif 7413-7427 | If X is an instance of bloating, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y experiences X (3) V is an instance of gas (4) W is a part of Y (5) W is an instance of intestine (6) W contains V or Z is a part of Y (7) Z is an instance of stomach (8) Z contains V |
| (=> (and (instance ?S Swallowing) (agent ?S ?H)) (exists (?M ?E ?ST ?O) (and (instance ?M Mouth) (instance ?E Esophagus) (instance ?ST Stomach) (objectTransferred ?S ?O) (origin ?S ?M) (destination ?S ?ST) (path ?S ?E)))) |
Mid-level-ontology.kif 7550-7562 | If X is an instance of swallowing and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of mouth (3) W is an instance of esophagus (4) V is an instance of stomach (5) the object transferred in X is U (6) X originates at Z (7) X ends up at V (8) W is path along which X occurs |
| (=> (and (instance ?V Vomiting) (experiencer ?V ?A)) (exists (?S ?O) (and (instance ?S Stomach) (part ?S ?A) (holdsDuring (BeginFn (WhenFn ?V)) (located ?O ?S)) (holdsDuring (EndFn (WhenFn ?V)) (not (located ?O ?A)))))) |
Mid-level-ontology.kif 23721-23735 | If X is an instance of vomiting and Y experiences X, then there exist Z, W such that Z is an instance of stomach, Z is a part of Y, W is located at Z holds during the beginning of the time of existence of X, and W is not located at Y holds during the end of the time of existence of X |
| (=> (and (instance ?V Vomiting) (instance ?O Vomit) (patient ?V ?O) (experiencer ?V ?A)) (exists (?S) (and (instance ?S Stomach) (part ?S ?A) (holdsDuring (BeginFn (WhenFn ?V)) (located ?O ?S)) (holdsDuring (EndFn (WhenFn ?V)) (not (located ?O ?A)))))) |
Mid-level-ontology.kif 23760-23776 | If X is an instance of vomiting, Y is an instance of vomit, Y is a patient of X, and Z experiences X, then there exists W such that W is an instance of stomach, W is a part of Z, Y is located at W holds during the beginning of the time of existence of X, and Y is not located at Z holds during the end of the time of existence of X |
| (=> (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)))) |
Medicine.kif 1896-1909 | 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 |
| (=> (attribute ?H PepticUlcers) (exists (?S ?U) (and (instance ?S Stomach) (instance ?U Ulcer) (part ?S ?H) (located ?U ?S)))) |
Medicine.kif 4955-4962 | If stomach ulcers is an attribute of X, then there exist Y, Z such that Y is an instance of stomach, Z is an instance of ulcer, Y is a part of X, and Z is located at Y |
| (=> (and (instance ?ELT ExperiencingDiscomfortInTheStomach) (experiencer ?ELT ?A)) (exists (?P ?PAIN ?T) (and (instance ?P Perception) (during (WhenFn ?P) (WhenFn ?PAIN)) (instance ?PAIN Pain) (experiencer ?PAIN ?A) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (instance ?T Stomach) (part ?T ?A)))) |
emotion.kif 2239-2253 | If X is an instance of experiencing discomfort in the stomach and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of perception (3) the time of existence of Z takes place during the time of existence of W (4) W is an instance of pain (5) Y experiences W (6) Z is a subprocess of X (7) Y is an agent of Z (8) V is a patient of Z (9) V is an instance of stomach (10) V is a part of Y |
|
|
|