Stomach |
appearance as argument number 1 |
(connectedBodyPart Stomach Intestine) | Mid-level-ontology.kif 12092-12092 | |
(documentation Stomach EnglishLanguage "A muscular sac that is the principal organ of digestion.") | Mid-level-ontology.kif 12053-12054 | |
(externalImage Stomach "http://upload.wikimedia.org/wikipedia/commons/b/ b8/ Stomach.amedd.jpg") | pictureList.kif 181-181 | |
(subclass Stomach AnimalAnatomicalStructure) | Mid-level-ontology.kif 12052-12052 | |
(subclass Stomach Organ) | Mid-level-ontology.kif 12051-12051 | |
(typicalPart Stomach GastroIntestinalTract) | Mid-level-ontology.kif 12086-12086 |
appearance as argument number 2 |
(connectedBodyPart Esophagus Stomach) | Mid-level-ontology.kif 12091-12091 | |
(termFormat ChineseLanguage Stomach "胃") | domainEnglishFormat.kif 55448-55448 | |
(termFormat ChineseTraditionalLanguage Stomach "胃") | domainEnglishFormat.kif 55447-55447 | |
(termFormat EnglishLanguage Stomach "stomach") | domainEnglishFormat.kif 55446-55446 |
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 9866-9888 | |
(=> (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 | |
(=> (instance ?S Stomach) (capability Digesting instrument ?S)) |
Mid-level-ontology.kif 12056-12058 |
consequent |
(=> (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 1583-1597 | |
(=> (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 1916-1929 | |
(=> (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 6589-6601 | |
(=> (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 21440-21454 | |
(=> (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 21479-21495 | |
(=> (attribute ?H PepticUlcers) (exists (?S ?U) (and (instance ?S Stomach) (instance ?U Ulcer) (part ?S ?H) (located ?U ?S)))) |
Medicine.kif 4972-4979 | |
(=> (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 6452-6466 |