(=>
(and
(instance ?R PupillaryResponse)
(patient ?R ?P)
(instance ?P BothEyePupils)
(subProcess ?C ?R)
(instance ?C QuantityChange)
(patient ?C ?P)
(approximateDiameter ?P
(MeasureFn ?X Milimeter)))
(and
(greaterThanOrEqualTo ?X 1.5)
(lessThanOrEqualTo ?X 8.0))) |
emotion.kif 746-758 |
If All of the following hold: (1) X is an instance of pupillary response (2) Y is a patient of X (3) Y is an instance of both eye pupils (4) Z is a subprocess of X (5) Z is an instance of quantity change (6) Y is a patient of Z (7) the approximate diameter of Y is W Milimeter(s), then W is greater than or equal to 1.5 and W is less than or equal to 8.0 |
(=>
(and
(instance ?R PupillaryLightReflex)
(patient ?R ?P)
(instance ?P BothEyePupils))
(exists (?L)
(and
(instance ?L RadiatingVisibleLight)
(patient ?L ?P)
(causes ?L ?R)))) |
emotion.kif 774-783 |
If X is an instance of photopupillary reflex, Y is a patient of X, and Y is an instance of both eye pupils, then there exists Z such that Z is an instance of radiating visible light, Y is a patient of Z, and Z causes X |
(=>
(and
(instance ?D PupilsDilation)
(patient ?D ?P)
(instance ?P BothEyePupils)
(holdsDuring
(BeginFn
(WhenFn ?D))
(approximateDiameter ?P
(MeasureFn ?X Millimeter)))
(holdsDuring
(EndFn
(WhenFn ?D))
(approximateDiameter ?P
(MeasureFn ?Y Millimeter))))
(greaterThan ?Y ?X)) |
emotion.kif 798-809 |
If X is an instance of dilated pupils, Y is a patient of X, Y is an instance of both eye pupils, the approximate diameter of Y is Z millimeter(s) holds during the beginning of the time of existence of X, and the approximate diameter of Y is W millimeter(s) holds during the end of the time of existence of X, then W is greater than Z |
(=>
(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 |
(=>
(and
(instance ?M Mydriasis)
(patient ?M ?P)
(instance ?P BothEyePupils)
(instance ?L RadiatingVisibleLight)
(patient ?L ?P)
(holdsDuring
(BeginFn
(WhenFn ?L))
(approximateDiameter ?P
(MeasureFn ?A Millimeter)))
(holdsDuring
(EndFn
(WhenFn ?L))
(approximateDiameter ?P
(MeasureFn ?B Millimeter))))
(not
(lessThan ?B ?A))) |
emotion.kif 838-850 |
If All of the following hold: (1) X is an instance of mydriasis (2) Y is a patient of X (3) Y is an instance of both eye pupils (4) Z is an instance of radiating visible light (5) Y is a patient of Z (6) the approximate diameter of Y is W millimeter(s) holds during the beginning of the time of existence of Z (7) the approximate diameter of Y is V millimeter(s) holds during the end of the time of existence of Z, then V is not less than W |
(=>
(and
(instance ?M Mydriasis)
(patient ?M ?P)
(instance ?P BothEyePupils))
(holdsDuring
(WhenFn ?M)
(not
(exists (?L)
(and
(instance ?L PupillaryLightReflex)
(patient ?L ?P)))))) |
emotion.kif 852-862 |
If X is an instance of mydriasis, Y is a patient of X, and Y is an instance of both eye pupils, then there doesn't exist Z such that Z is an instance of photopupillary reflex and Y is a patient of Z holds during the time of existence of X |
(=>
(and
(instance ?C PupilsConstriction)
(patient ?C ?P)
(instance ?P BothEyePupils)
(holdsDuring
(BeginFn
(WhenFn ?C))
(approximateDiameter ?P
(MeasureFn ?X Millimeter)))
(holdsDuring
(EndFn
(WhenFn ?C))
(approximateDiameter ?P
(MeasureFn ?Y Millimeter))))
(greaterThan ?X ?Y)) |
emotion.kif 905-916 |
If X is an instance of miosis, Y is a patient of X, Y is an instance of both eye pupils, the approximate diameter of Y is Z millimeter(s) holds during the beginning of the time of existence of X, and the approximate diameter of Y is W millimeter(s) holds during the end of the time of existence of X, then Z is greater than W |
(=>
(and
(instance ?C PupilsConstriction)
(patient ?D ?P)
(instance ?P BothEyePupils))
(exists (?IDM ?ISM ?R)
(and
(instance ?IDM IrisDilatorMuscle)
(instance ?ISM IrisSphincterMuscle)
(part ?IDM ?P)
(part ?ISM ?P)
(instance ?MC MuscularContraction)
(subProcess ?MC ?C)
(patient ?MC ?ISM)
(instance ?R MuscleRelaxing)
(patient ?R ?IDM)
(subProcess ?R ?C)))) |
emotion.kif 918-934 |
If X is an instance of miosis, Y is a patient of Z, and Y is an instance of both eye pupils, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of iris dilator muscle (3) V is an instance of iris sphincter muscle (4) W is a part of Y (5) V is a part of Y (6) T is an instance of muscular contraction (7) T is a subprocess of X (8) V is a patient of T (9) U is an instance of muscle relaxing (10) W is a patient of U (11) U is a subprocess of X |
(=>
(and
(instance ?M Miosis)
(patient ?M ?P)
(instance ?P BothEyePupils)
(instance ?L RadiatingVisibleLight)
(patient ?L ?P)
(holdsDuring
(BeginFn
(WhenFn ?L))
(approximateDiameter ?P
(MeasureFn ?A Millimeter)))
(holdsDuring
(EndFn
(WhenFn ?L))
(approximateDiameter ?P
(MeasureFn ?B Millimeter))))
(not
(greaterThan ?B ?A))) |
emotion.kif 943-955 |
If All of the following hold: (1) X is an instance of miosis (2) Y is a patient of X (3) Y is an instance of both eye pupils (4) Z is an instance of radiating visible light (5) Y is a patient of Z (6) the approximate diameter of Y is W millimeter(s) holds during the beginning of the time of existence of Z (7) the approximate diameter of Y is V millimeter(s) holds during the end of the time of existence of Z, then V is not greater than W |
(=>
(and
(instance ?M Miosis)
(patient ?M ?P)
(instance ?P BothEyePupils))
(holdsDuring
(WhenFn ?M)
(not
(exists (?L)
(and
(instance ?L PupillaryLightReflex)
(patient ?L ?P)))))) |
emotion.kif 957-967 |
If X is an instance of miosis, Y is a patient of X, and Y is an instance of both eye pupils, then there doesn't exist Z such that Z is an instance of photopupillary reflex and Y is a patient of Z holds during the time of existence of X |
(=>
(and
(instance ?P BothEyePupils)
(member ?L ?P)
(member ?R ?P))
(and
(instance ?L
(BodySideFn Left EyePupil))
(instance ?R
(BodySideFn Right EyePupil)))) |
emotion.kif 1003-1012 |
If X is an instance of both eye pupils, Y is a member of X, and Z is a member of X, then Y is an instance of the left of eye pupil and Z is an instance of the right of eye pupil |
(=>
(holdsDuring ?T
(and
(attribute ?H ?A)
(instance ?H Human)
(instance ?A Anisocoria)
(part ?P ?H)
(instance ?R PupillaryResponse)
(patient ?R ?P)
(instance ?P BothEyePupils)
(equal
(DiffPupilSizeFn ?P)
(MeasureFn ?Z Millimeter))))
(greaterThan ?Z 0.4)) |
emotion.kif 1022-1035 |
If X is an attribute of Y and Y is an instance of human and X is an instance of anisocoria and Z is a part of Y and W is an instance of pupillary response and Z is a patient of W and Z is an instance of both eye pupils and equal The difference in size of Z is and V millimeter(s) holds during U, then V is greater than 0.4 |
(=>
(and
(attribute ?H PhysiologicalAnisocoria)
(instance ?H Human)
(part ?P ?H)
(instance ?P BothEyePupils)
(equal
(MeasureFn ?Z Millimeter)
(DiffPupilSizeFn ?P)))
(lessThan ?Z 1)) |
emotion.kif 1043-1052 |
If physiological anisocoria is an attribute of X, X is an instance of human, Y is a part of X, Y is an instance of both eye pupils, and equal Z millimeter(s) and The difference in size of Y is, then Z is less than 1 |
(=>
(and
(instance ?P BothEyePupils)
(member ?L ?P)
(member ?R ?P)
(approximateDiameter ?L
(MeasureFn ?X Millimeter))
(approximateDiameter ?R
(MeasureFn ?Y Millimeter))
(equal ?Z
(SubtractionFn ?X ?Y)))
(equal
(MeasureFn ?Z Millimeter)
(DiffPupilSizeFn ?P))) |
emotion.kif 1107-1118 |
If All of the following hold: (1) X is an instance of both eye pupils (2) Y is a member of X (3) Z is a member of X (4) the approximate diameter of Y is W millimeter(s) (5) the approximate diameter of Z is V millimeter(s) (6) equal U and (W and V), then equal U millimeter(s) and The difference in size of X is |
BothEyePupils