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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClosingEyes

Sigma KEE - ClosingEyes
ClosingEyes

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 19988-19989
(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 19987-19987
(subclass ClosingEyes EyeMotion) Mid-level-ontology.kif 19986-19986
(subclass ClosingEyes FacialExpression) emotion.kif 1215-1215

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


(disjoint OpeningEyes ClosingEyes) Mid-level-ontology.kif 19982-19982
(subclass Winking ClosingEyes) Mid-level-ontology.kif 19991-19991
(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 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 is open source software produced by Articulate Software and its partners