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


KB Term:  Term intersection
English Word: 

  PupilsConstriction

 Sigma KEE - PupilsConstriction
PupilsConstriction(miosis)

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


(subclass PupilsConstriction PupillaryResponse) emotion.kif 893-893 Miosis is a subclass of pupillary response
(documentation PupilsConstriction EnglishLanguage "PupilsConstriction is the narrowing of the pupil. Constriction of the pupil occurs when the circular muscle, controlled by the parasympathetic nervous system (PSNS), contracts, and also to an extent when the radial muscle relaxes.[wikipedia] ") emotion.kif 894-897 Miosis is a subclass of pupillary response

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


(partition PupillaryResponse PupilsConstriction PupilsDilation) emotion.kif 744-744 Pupillary response is exhaustively partitioned into miosis and dilated pupils
(termFormat EnglishLanguage PupilsConstriction "constricted pupils") emotion.kif 898-898 Pupillary response is exhaustively partitioned into miosis and dilated pupils
(termFormat EnglishLanguage PupilsConstriction "miosis") emotion.kif 899-899 Pupillary response is exhaustively partitioned into miosis and dilated pupils
(disjoint PupilsDilation PupilsConstriction) emotion.kif 900-900 Dilated pupils is disjoint from miosis
(actionTendency Anger PupilsConstriction) emotion.kif 901-901 action tendency anger and miosis
(actionTendency Disgust PupilsConstriction) emotion.kif 902-902 action tendency disgust and miosis
(subclass Miosis PupilsConstriction) emotion.kif 936-936 Miosis is a subclass of miosis

antecedent
-------------------------


(=>
    (and
        (instance ?C PupilsConstriction)
        (patient ?C ?P)
        (instance ?P BothEyePupils)
        (holdsDuring
            (BeginFn
                (WhenFn ?C))
            (approximateDiameter ?P
                (MeasureFn ?X Millimeter)))
        (holdsDuring
            (EndFn
                (WhenFn ?C))
            (approximateDiameter ?P
                (MeasureFn ?Y Millimeter))))
    (greaterThan ?X ?Y))		 emotion.kif 905-916 If X is an instance of miosis, Y is a patient of X, Y is an instance of both eye pupils, the approximate diameter of Y is Z millimeter(s) holds during the beginning of the time of existence of X, and the approximate diameter of Y is W millimeter(s) holds during the end of the time of existence of X, then Z is greater than W
(=>
    (and
        (instance ?C PupilsConstriction)
        (patient ?D ?P)
        (instance ?P BothEyePupils))
    (exists (?IDM ?ISM ?R)
        (and
            (instance ?IDM IrisDilatorMuscle)
            (instance ?ISM IrisSphincterMuscle)
            (part ?IDM ?P)
            (part ?ISM ?P)
            (instance ?MC MuscularContraction)
            (subProcess ?MC ?C)
            (patient ?MC ?ISM)
            (instance ?R MuscleRelaxing)
            (patient ?R ?IDM)
            (subProcess ?R ?C))))		 emotion.kif 918-934 If X is an instance of miosis, Y is a patient of Z, and Y is an instance of both eye pupils, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of iris dilator muscle (3) V is an instance of iris sphincter muscle (4) W is a part of Y (5) V is a part of Y (6) T is an instance of muscular contraction (7) T is a subprocess of X (8) V is a patient of T (9) U is an instance of muscle relaxing (10) W is a patient of U (11) U is a subprocess of X


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

Show without tree

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