| OpeningEyes(opening eyes)
| | open, opened, wide, wide-eyed |
| appearance as argument number 1 |
|
|
| (disjoint OpeningEyes ClosingEyes) | Mid-level-ontology.kif 20213-20213 | Opening eyes is disjoint from closing eyes |
| (documentation OpeningEyes EnglishLanguage "The BodyMotion of relaxing the eye lids so that the corneas are exposed to light.") | Mid-level-ontology.kif 20214-20215 | Opening eyes is disjoint from closing eyes |
| (externalImage OpeningEyes "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Eye_opening_and_closing.gif") | pictureList.kif 10170-10170 | Opening eyes is disjoint from closing eyes |
| (subclass OpeningEyes EyeMotion) | Mid-level-ontology.kif 20211-20211 | Opening eyes is a subclass of eye motion |
| (subclass OpeningEyes Opening) | Mid-level-ontology.kif 20212-20212 | Opening eyes is a subclass of opening |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage OpeningEyes "睁开眼睛") | domainEnglishFormat.kif 42248-42248 | |
| (termFormat ChineseTraditionalLanguage OpeningEyes "睜開眼睛") | domainEnglishFormat.kif 42247-42247 | |
| (termFormat EnglishLanguage OpeningEyes "opening eyes") | domainEnglishFormat.kif 42246-42246 |
| consequent |
|
|
| (=> (instance ?B Blinking) (exists (?CE ?OE) (and (instance ?CE ClosingEyes) (instance ?OE OpeningEyes) (subProcess ?CE ?B) (subProcess ?OE ?B)))) |
Medicine.kif 452-459 |
|
|
|
|