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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 20219-20220
(externalImage ClosingEyes "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Wikimania2007_Jimbo_closed_eyes.jpg") pictureList.kif 10645-10645
(externalImage ClosingEyes "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Eye_opening_and_closing.gif") pictureList.kif 9945-9945
(subclass ClosingEyes Closing) Mid-level-ontology.kif 20218-20218
(subclass ClosingEyes EyeMotion) Mid-level-ontology.kif 20217-20217
(subclass ClosingEyes FacialExpression) emotion.kif 1215-1215

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


(disjoint OpeningEyes ClosingEyes) Mid-level-ontology.kif 20213-20213
(subclass Winking ClosingEyes) Mid-level-ontology.kif 20222-20222
(termFormat ChineseLanguage ClosingEyes "闭上眼睛") domainEnglishFormat.kif 15233-15233
(termFormat ChineseTraditionalLanguage ClosingEyes "閉上眼睛") domainEnglishFormat.kif 15232-15232
(termFormat EnglishLanguage ClosingEyes "closing eyes") domainEnglishFormat.kif 15231-15231

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