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


KB Term:  Term intersection
English Word: 

  Mydriasis

 Sigma KEE - Mydriasis
Mydriasis(mydriasis)

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


(subclass Mydriasis PupilsDilation) emotion.kif 829-829 Mydriasis is a subclass of dilated pupils
(subclass Mydriasis PathologicProcess) emotion.kif 830-830 Mydriasis is a subclass of pathologic process
(documentation Mydriasis EnglishLanguage "Mydriasis is kind of PupilsDilation that has a non-physiological cause,inclding disease, trauma, or the use of certain types of drugs. It may also be of unknown cause. A mydriatic pupil will remain excessively large even in a bright environment. [wikipedia] ") emotion.kif 831-835 Mydriasis is a subclass of pathologic process

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


(termFormat EnglishLanguage Mydriasis "mydriasis") emotion.kif 836-836
(disjoint Miosis Mydriasis) emotion.kif 941-941 Miosis is disjoint from mydriasis

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


(=>
    (and
        (instance ?M Mydriasis)
        (patient ?M ?P)
        (instance ?P BothEyePupils)
        (instance ?L RadiatingVisibleLight)
        (patient ?L ?P)
        (holdsDuring
            (BeginFn
                (WhenFn ?L))
            (approximateDiameter ?P
                (MeasureFn ?A Millimeter)))
        (holdsDuring
            (EndFn
                (WhenFn ?L))
            (approximateDiameter ?P
                (MeasureFn ?B Millimeter))))
    (not
        (lessThan ?B ?A)))		 emotion.kif 838-850 If All of the following hold: (1) X is an instance of mydriasis (2) Y is a patient of X (3) Y is an instance of both eye pupils (4) Z is an instance of radiating visible light (5) Y is a patient of Z (6) the approximate diameter of Y is W millimeter(s) holds during the beginning of the time of existence of Z (7) the approximate diameter of Y is V millimeter(s) holds during the end of the time of existence of Z, then V is not less than W
(=>
    (and
        (instance ?M Mydriasis)
        (patient ?M ?P)
        (instance ?P BothEyePupils))
    (holdsDuring
        (WhenFn ?M)
        (not
            (exists (?L)
                (and
                    (instance ?L PupillaryLightReflex)
                    (patient ?L ?P))))))		 emotion.kif 852-862 If X is an instance of mydriasis, Y is a patient of X, and Y is an instance of both eye pupils, then there doesn't exist Z such that Z is an instance of photopupillary reflex and Y is a patient of Z holds during the time of existence of X

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


(=>
    (and
        (patient ?I ?B)
        (instance ?B Brain)
        (or
            (instance ?I Stroke)
            (instance ?I Injuring)
            (instance ?I Seizure))
        (experiencer ?I ?H)
        (part ?B ?H))
    (modalAttribute
        (exists (?M)
            (and
                (instance ?M Mydriasis)
                (experiencer ?M ?H)
                (causes ?I ?M))) Possibility))		 emotion.kif 864-879 If X is a patient of Y, X is an instance of brain, At least one of the following holds: (1) Y is an instance of stroke (2) Y is an instance of injuring (3) Y is an instance of epileptic seizure, Z experiences Y, and X is a part of Z, then the statement there exists W such that W is an instance of mydriasis, Z experiences W, and Y causes W has the modal force of possibility
(=>
    (holdsDuring ?T
        (and
            (attribute ?H Drugged)
            (instance ?H Human)))
    (modalAttribute
        (exists (?M)
            (and
                (instance ?M Mydriasis)
                (patient ?M ?H)
                (during
                    (WhenFn ?M) ?T))) Possibility))		 emotion.kif 881-891 If drugged is an attribute of X and X is an instance of human holds during Y, then the statement there exists Z such that Z is an instance of mydriasis, X is a patient of Z, and the time of existence of Z takes place during Y has the modal force of possibility


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