TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Anisocoria DiseaseOrSyndrome)	emotion.kif 1014-1014	Anisocoria is a subclass of disease or syndrome
(documentation Anisocoria EnglishLanguage "Anisocoria a condition characterized by an unequal size of the eyes' pupils. Affecting up to 20% of the population, anisocoria is often entirely harmless, but can be a sign of more serious medical problems.It is defined by a diameter difference of 0.4 mm or more between the sizes of the pupils of the eyes.[Wikipedia]")	emotion.kif 1015-1019	Anisocoria is a subclass of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage Anisocoria "anisocoria")	emotion.kif 1020-1020
(instance PhysiologicalAnisocoria Anisocoria)	emotion.kif 1037-1037	Physiological anisocoria is an instance of anisocoria
(instance MechanicalAnisocoria Anisocoria)	emotion.kif 1054-1054	Mechanical anisocoria is an instance of anisocoria

antecedent

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

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