(=>
(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 |
(=>
(equal
(MeasureFn ?Z Millimeter)
(DiffPupilSizeFn ?P))
(exists (?L ?R ?X ?Y)
(and
(member ?L ?P)
(member ?R ?P)
(approximateDiameter ?L
(MeasureFn ?X Millimeter))
(approximateDiameter ?R
(MeasureFn ?Y Millimeter))
(equal ?Z
(SubtractionFn ?X ?Y))))) |
emotion.kif 1120-1131 |
If equal X millimeter(s) and The difference in size of Y is, then there exist Z, W,, , V and U such that Z is a member of Y and W is a member of Y and the approximate diameter of Z is V millimeter(s) and the approximate diameter of W is U millimeter(s) and equal X and (V and U) |
