TreeView Knowledge Base Browser

antecedent

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

(subclass PupillaryResponse PhysiologicProcess)	emotion.kif 738-738	Pupillary response is a subclass of physiologic process
(subclass PupillaryResponse QuantityChange)	emotion.kif 739-739	Pupillary response is a subclass of quantity change
(documentation PupillaryResponse EnglishLanguage "PupillaryResponse is a physiological response that varies the size of the pupil between 1.5 mm and 8 mm in diameter,via the optic and oculomotor cranial nerve.[Wikipedia]")	emotion.kif 740-742	Pupillary response is a subclass of quantity change
(partition PupillaryResponse PupilsConstriction PupilsDilation)	emotion.kif 744-744	Pupillary response is exhaustively partitioned into miosis and dilated pupils

(termFormat EnglishLanguage PupillaryResponse "pupillary response")	emotion.kif 743-743
(subclass PupillaryLightReflex PupillaryResponse)	emotion.kif 760-760	Photopupillary reflex is a subclass of pupillary response
(subclass PupilsDilation PupillaryResponse)	emotion.kif 786-786	Dilated pupils is a subclass of pupillary response
(subclass PupilsConstriction PupillaryResponse)	emotion.kif 893-893	Miosis is a subclass of pupillary response