Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - DiffPupilSizeFn
DiffPupilSizeFn

appearance as argument number 1
-------------------------


(instance DiffPupilSizeFn UnaryFunction) emotion.kif 1099-1099 Diffence in pupil size is an instance of unary function
(documentation DiffPupilSizeFn EnglishLanguage "(DiffPupilSizeFn ?PUPILS) denotes the difference between pupils of a human in Millimeter") emotion.kif 1100-1101 Diffence in pupil size is an instance of unary function
(domain DiffPupilSizeFn 1 BothEyePupils) emotion.kif 1104-1104 The number 1 argument of diffence in pupil size is an instance of both eye pupils
(range DiffPupilSizeFn LengthMeasure) emotion.kif 1105-1105 The range of diffence in pupil size is an instance of length measure

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage DiffPupilSizeFn "diffence in pupil size") emotion.kif 1102-1102
(format EnglishLanguage DiffPupilSizeFn "The difference in size of %1 is") emotion.kif 1103-1103

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

consequent
-------------------------


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners