| OpeningEyes(opening eyes)
| | open, opened, wide, wide-eyed |
| appearance as argument number 1 |
|
|
| (disjoint OpeningEyes ClosingEyes) | Mid-level-ontology.kif 21044-21044 | 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 21045-21046 | Opening eyes is disjoint from closing eyes |
| (externalImage OpeningEyes "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Eye_opening_and_closing.gif") | pictureList.kif 10168-10168 | Opening eyes is disjoint from closing eyes |
| (subclass OpeningEyes EyeMotion) | Mid-level-ontology.kif 21042-21042 | Opening eyes is a subclass of eye motion |
| (subclass OpeningEyes Opening) | Mid-level-ontology.kif 21043-21043 | Opening eyes is a subclass of opening |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage OpeningEyes "睁开眼睛") | domainEnglishFormat.kif 42241-42241 | |
| (termFormat ChineseTraditionalLanguage OpeningEyes "睜開眼睛") | domainEnglishFormat.kif 42240-42240 | |
| (termFormat EnglishLanguage OpeningEyes "opening eyes") | domainEnglishFormat.kif 42239-42239 |
| consequent |
|
|
| (=> (instance ?B Blinking) (exists (?CE ?OE) (and (instance ?CE ClosingEyes) (instance ?OE OpeningEyes) (subProcess ?CE ?B) (subProcess ?OE ?B)))) |
Medicine.kif 440-447 |
|
|
|
|