Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__7Fn__0En1In2Ra3Ra4En5Re6Ra7InFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Stomach Organ) | Mid-level-ontology.kif 13524-13524 | Stomach is a subclass of organ |
| (subclass Stomach AnimalAnatomicalStructure) | Mid-level-ontology.kif 13525-13525 | 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 13526-13527 | Stomach is a subclass of animal anatomical structure |
| (typicalPart Stomach GastroIntestinalTract) | Mid-level-ontology.kif 13566-13566 | A stomach is typically a part of a GI |
| (connectedBodyPart Stomach Intestine) | Mid-level-ontology.kif 13572-13572 | 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 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 |
| (=> (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 11345-11367 | 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 13529-13531 | 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 7546-7560 | 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 7683-7695 | 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 23618-23632 | 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 23657-23673 | 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 1900-1913 | 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 4993-5000 | 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 2420-2434 | 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 |
|
