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


KB Term:  Term intersection
English Word: 

Sigma KEE - ClosingEye
ClosingEye(closing eye)

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


(subclass ClosingEye FacialExpression) Mid-level-ontology.kif 21968-21968 Closing eye is a subclass of facial expression
(subclass ClosingEye BodyMotion) Mid-level-ontology.kif 22129-22129 Closing eye is a subclass of body motion
(subclass ClosingEye Closing) Mid-level-ontology.kif 22130-22130 Closing eye is a subclass of closing
(documentation ClosingEye EnglishLanguage "The BodyMotion of tensing the eye lids so that the corneas are not exposed to light, i.e.LowerEyelid meets with UpperEyelid spacially ") Mid-level-ontology.kif 22131-22132 Closing eye is a subclass of closing
(disjoint ClosingEye OpeningEye) Mid-level-ontology.kif 22133-22133 Closing eye is disjoint from opening eye
(externalImage ClosingEye "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Eye_opening_and_closing.gif") pictureList.kif 9945-9945 Closing eye is disjoint from opening eye
(externalImage ClosingEye "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Wikimania2007_Jimbo_closed_eyes.jpg") pictureList.kif 10644-10644 Closing eye is disjoint from opening eye

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


(termFormat EnglishLanguage ClosingEye "closing eye") domainEnglishFormat.kif 15222-15222
(termFormat ChineseTraditionalLanguage ClosingEye "閉上眼睛") domainEnglishFormat.kif 15223-15223
(termFormat ChineseLanguage ClosingEye "闭上眼睛") domainEnglishFormat.kif 15224-15224
(subclass Winking ClosingEye) emotion.kif 2013-2013 Winking is a subclass of closing eye

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


(=>
    (and
        (instance ?C ClosingEye)
        (patient ?C ?E))
    (exists (?U ?L ?T)
        (and
            (instance ?U UpperEyelid)
            (instance ?L LowerEyelid)
            (part ?U ?E)
            (part ?L ?E)
            (holdsDuring ?T
                (meetsSpatially ?U ?L))
            (during ?T
                (WhenFn ?C)))))		 Mid-level-ontology.kif 22135-22147 If X is an instance of closing eye and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of upper eye lid (3) W is an instance of lower eye lid (4) Z is a part of Y (5) W is a part of Y (6) Z meets W holds during V (7) V takes place during the time of existence of X
(=>
    (and
        (instance ?C ClosingEye)
        (patient ?C ?E)
        (instance ?E Eye))
    (exists (?T)
        (and
            (holdsDuring ?T
                (attribute ?E Closed))
            (during
                (WhenFn ?C) ?T)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?C))
                (attribute ?E Open)))))		 Mid-level-ontology.kif 22149-22163 If X is an instance of closing eye, Y is a patient of X, and Y is an instance of eye, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, and open is an attribute of Y holds during immediately before the time of existence of X
(=>
    (and
        (instance ?O ClosingEye)
        (patient ?O ?E)
        (instance ?E Eye))
    (exists (?M ?U ?C ?CC)
        (and
            (instance ?M MuscularContraction)
            (patient ?M ?U)
            (instance ?U UpperEyelid)
            (part ?U ?E)
            (during
                (WhenFn ?M)
                (WhenFn ?O))
            (causes ?M ?C)
            (instance ?C Covering)
            (patient ?C ?CC)
            (instance ?CC Cornea)
            (part ?CC ?E)
            (subProcess ?C ?O))))		 Mid-level-ontology.kif 22165-22182 If X is an instance of closing eye, Y is a patient of X, and Y is an instance of eye, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of muscular contraction (3) W is a patient of Z (4) W is an instance of upper eye lid (5) W is a part of Y (6) the time of existence of Z takes place during the time of existence of X (7) Z causes V (8) V is an instance of covering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) V is a subprocess of X

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


(=>
    (and
        (instance ?C ClosingBothEyes)
        (patient ?C ?E)
        (instance ?E BothEyes))
    (exists (?L ?R ?A ?B)
        (and
            (member ?L ?E)
            (member ?R ?E)
            (instance ?A ClosingEye)
            (instance ?B ClosingEye)
            (subProcess ?A ?C)
            (subProcess ?B ?C)
            (patient ?A ?L)
            (patient ?B ?R)
            (not
                (equal ?A ?B))
            (cooccur ?A ?B))))		 Mid-level-ontology.kif 22003-22020 If X is an instance of ClosingBothEyes, Y is a patient of X, and Y is an instance of both eyes, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a member of Y (3) W is a member of Y (4) V is an instance of closing eye (5) U is an instance of closing eye (6) V is a subprocess of X (7) U is a subprocess of X (8) Z is a patient of V (9) W is a patient of U (10) equal V (11) U (12) V occurs at the same time as U


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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners