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

KB Term:  Term intersection
English Word: 

Sigma KEE - Miosis
Miosis(miosis)

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


(subclass Miosis PupilsConstriction) emotion.kif 936-936 Miosis is a subclass of miosis
(subclass Miosis PathologicProcess) emotion.kif 937-937 Miosis is a subclass of pathologic process
(documentation Miosis EnglishLanguage "Miosis is excessive constriction of the pupil.The opposite condition, mydriasis.[wikipedia] ") emotion.kif 938-939 Miosis is a subclass of pathologic process
(disjoint Miosis Mydriasis) emotion.kif 941-941 Miosis is disjoint from mydriasis

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


(termFormat EnglishLanguage Miosis "miosis") emotion.kif 940-940

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


(=>
    (and
        (instance ?M Miosis)
        (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
        (greaterThan ?B ?A)))		 emotion.kif 943-955 If All of the following hold: (1) X is an instance of miosis (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 greater than W
(=>
    (and
        (instance ?M Miosis)
        (patient ?M ?P)
        (instance ?P BothEyePupils))
    (holdsDuring
        (WhenFn ?M)
        (not
            (exists (?L)
                (and
                    (instance ?L PupillaryLightReflex)
                    (patient ?L ?P))))))		 emotion.kif 957-967 If X is an instance of miosis, 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 Miosis)
                (experiencer ?M ?H)
                (causes ?I ?M))) Possibility))		 emotion.kif 969-984 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 miosis, 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 Miosis)
                (patient ?M ?H)
                (during
                    (WhenFn ?M) ?T))) Possibility))		 emotion.kif 986-996 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 miosis, X is a patient of Z, and the time of existence of Z takes place during Y has the modal force of possibility


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