PupillaryLightReflex - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PupillaryLightReflex PupillaryResponse)	emotion.kif 760-760	Photopupillary reflex is a subclass of pupillary response
(subclass PupillaryLightReflex AutonomicProcess)	emotion.kif 761-761	Photopupillary reflex is a subclass of autonomic process
(documentation PupillaryLightReflex EnglishLanguage "PupillaryLightReflex or Photopupilary reflex is a reflex that controls the diameter of the &EyePupil, in response to the intensity of light that falls on the retinal ganglion cells of the retina in the back of the eye, thereby assisting the adaptation of vision to various level of lightness/ darkness. A greater intensity of the light causes the pupil to constrict; whereas a lower intensity of light causes the pupil to dilate. Thus the pupillary light reflex regualtes the intensity of the light entering the eye. Light shone into one eye will cause both pupils to constrict. [Wikipedia]")	emotion.kif 762-770	Photopupillary reflex is a subclass of autonomic process

appearance as argument number 2

(termFormat EnglishLanguage PupillaryLightReflex "pupillary light reflex")	emotion.kif 771-771
(termFormat EnglishLanguage PupillaryLightReflex "photopupillary reflex")	emotion.kif 772-772

antecedent

(=>
    (and
        (instance ?R PupillaryLightReflex)
        (patient ?R ?P)
        (instance ?P BothEyePupils))
    (exists (?L)
        (and
            (instance ?L RadiatingVisibleLight)
            (patient ?L ?P)
            (causes ?L ?R))))

consequent

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