(=>
(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 |
