Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ClosingEyes
ClosingEyes(closing eyes)
closed, shut

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


(documentation ClosingEyes EnglishLanguage "A facial expression behavior in which the eyes are closed.") emotion.kif 1216-1217
(documentation ClosingEyes EnglishLanguage "The EyeMotion of tensing the eye lids so that the corneas are not exposed to light.") Mid-level-ontology.kif 19961-19962
(externalImage ClosingEyes "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Wikimania2007_Jimbo_closed_eyes.jpg") pictureList.kif 10646-10646
(externalImage ClosingEyes "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Eye_opening_and_closing.gif") pictureList.kif 9946-9946
(subclass ClosingEyes Closing) Mid-level-ontology.kif 19960-19960 Closing eyes is a subclass of closing
(subclass ClosingEyes EyeMotion) Mid-level-ontology.kif 19959-19959 Closing eyes is a subclass of eye motion
(subclass ClosingEyes FacialExpression) emotion.kif 1215-1215 Closing eyes is a subclass of facial expression

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


(disjoint OpeningEyes ClosingEyes) Mid-level-ontology.kif 19955-19955 Opening eyes is disjoint from closing eyes
(subclass Winking ClosingEyes) Mid-level-ontology.kif 19964-19964 Winking is a subclass of closing eyes
(termFormat ChineseLanguage ClosingEyes "闭上眼睛") domainEnglishFormat.kif 15222-15222
(termFormat ChineseTraditionalLanguage ClosingEyes "閉上眼睛") domainEnglishFormat.kif 15221-15221
(termFormat EnglishLanguage ClosingEyes "closing eyes") domainEnglishFormat.kif 15220-15220

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


(=>
    (instance ?B Blinking)
    (exists (?CE ?OE)
        (and
            (instance ?CE ClosingEyes)
            (instance ?OE OpeningEyes)
            (subProcess ?CE ?B)
            (subProcess ?OE ?B))))
Medicine.kif 452-459


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 is open source software produced by Articulate Software and its partners