Stomach![]() | ![]() |
appearance as argument number 1 |
![]() |
(connectedBodyPart Stomach Intestine) | Mid-level-ontology.kif 11543-11543 | |
(documentation Stomach EnglishLanguage "A muscular sac that is the principal organ of digestion.") | Mid-level-ontology.kif 11504-11505 | |
(externalImage Stomach "http://upload.wikimedia.org/wikipedia/commons/b/ b8/ Stomach.amedd.jpg") | pictureList.kif 181-181 | |
(subclass Stomach AnimalAnatomicalStructure) | Mid-level-ontology.kif 11503-11503 | |
(subclass Stomach Organ) | Mid-level-ontology.kif 11502-11502 | |
(typicalPart Stomach GastroIntestinalTract) | Mid-level-ontology.kif 11537-11537 |
appearance as argument number 2 |
![]() |
(connectedBodyPart Esophagus Stomach) | Mid-level-ontology.kif 11542-11542 | |
(termFormat ChineseLanguage Stomach "胃") | domainEnglishFormat.kif 55425-55425 | |
(termFormat ChineseTraditionalLanguage Stomach "胃") | domainEnglishFormat.kif 55424-55424 | |
(termFormat EnglishLanguage Stomach "stomach") | domainEnglishFormat.kif 55423-55423 |
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 9407-9429 | |
(=> (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 9468-9490 | |
(=> (instance ?S Stomach) (capability Digesting instrument ?S)) |
Mid-level-ontology.kif 11507-11509 |
consequent |
![]() |
(=> (and (instance ?ELT ExperiencingDiscomfortInTheStomach) (experiencer ?ELT ?A)) (exists (?P) (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 1591-1605 | |
(=> (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 6256-6268 | |
(=> (and (instance ?V Vomiting) (experiencer ?V ?A)) (exists (?S ?O) (and (instance ?S Stomach) (part ?S ?A) (holdsDuring (StartFn (WhenFn ?V)) (located ?O ?S)) (holdsDuring (EndFn (WhenFn ?V)) (not (located ?O ?A)))))) |
Mid-level-ontology.kif 20708-20722 | |
(=> (and (instance ?V Vomiting) (instance ?O Vomit) (patient ?V ?O) (experiencer ?V ?A)) (exists (?S) (and (instance ?S Stomach) (part ?S ?A) (holdsDuring (StartFn (WhenFn ?V)) (located ?O ?S)) (holdsDuring (EndFn (WhenFn ?V)) (not (located ?O ?A)))))) |
Mid-level-ontology.kif 20745-20761 | |
(=> (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 6127-6141 |
![]() |
![]() |