(=>
(and
(instance ?D PupilsDilation)
(patient ?D ?P)
(instance ?P BothEyePupils))
(exists (?IDM ?ISM ?C ?R)
(and
(instance ?IDM IrisDilatorMuscle)
(instance ?ISM IrisSphincterMuscle)
(part ?IDM ?P)
(part ?ISM ?P)
(instance ?C MuscularContraction)
(subProcess ?C ?D)
(patient ?C ?IDM)
(instance ?R MuscleRelaxing)
(patient ?R ?ISM)
(subProcess ?R ?D)))) |
emotion.kif 811-827 |
If X is an instance of dilated pupils, Y is a patient of X, and Y is an instance of both eye pupils, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of iris dilator muscle (3) W is an instance of iris sphincter muscle (4) Z is a part of Y (5) W is a part of Y (6) V is an instance of muscular contraction (7) V is a subprocess of X (8) Z is a patient of V (9) U is an instance of muscle relaxing (10) W is a patient of U (11) U is a subprocess of X |
IrisSphincterMuscle