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

KB Term:  Term intersection
English Word: 

Sigma KEE - Winking
Winking(winking)
wink

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


(subclass Winking FacialExpression) Mid-level-ontology.kif 21969-21969 Winking is a subclass of facial expression
(subclass Winking ClosingEye) emotion.kif 2013-2013 Winking is a subclass of closing eye
(subclass Winking IntentionalProcess) emotion.kif 2014-2014 Winking is a subclass of intentional process
(documentation Winking EnglishLanguage "Closing only one eye for a brief moment to convey a message or as a form of flirtation or acknowledgement.") emotion.kif 2015-2016 Winking is a subclass of intentional process
(externalImage Winking "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Wink.JPG") pictureList.kif 4949-4949 Winking is a subclass of intentional process

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


(termFormat EnglishLanguage Winking "winking") domainEnglishFormat.kif 63202-63202
(termFormat ChineseTraditionalLanguage Winking "眨眼") domainEnglishFormat.kif 63203-63203
(termFormat ChineseLanguage Winking "眨眼") domainEnglishFormat.kif 63204-63204

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


(=>
    (and
        (instance ?B Winking)
        (patient ?B ?E)
        (or
            (instance ?E
                (BodySideFn Left Eye))
            (instance ?E
                (BodySideFn Right Eye))))
    (exists (?T)
        (and
            (holdsDuring ?T
                (attribute ?E Closed))
            (during
                (WhenFn ?B) ?T)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?B))
                (attribute ?E Open))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?B))
                (attribute ?E Open)))))		 emotion.kif 2017-2039 If X is an instance of winking, Y is a patient of X, and Y is an instance of the left of eye or Y is an instance of the right 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, open is an attribute of Y holds during immediately before the time of existence of X, and open is an attribute of Y holds during immediately after the time of existence of X


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