OpeningEyes
|
|
appearance as argument number 1 |
(disjoint OpeningEyes ClosingEyes) | Mid-level-ontology.kif 19982-19982 | |
(documentation OpeningEyes EnglishLanguage "The BodyMotion of relaxing the eye lids so that the corneas are exposed to light.") | Mid-level-ontology.kif 19983-19984 | |
(externalImage OpeningEyes "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Eye_opening_and_closing.gif") | pictureList.kif 10170-10170 | |
(subclass OpeningEyes EyeMotion) | Mid-level-ontology.kif 19980-19980 | |
(subclass OpeningEyes Opening) | Mid-level-ontology.kif 19981-19981 |
appearance as argument number 2 |
(termFormat ChineseLanguage OpeningEyes "睁开眼睛") | domainEnglishFormat.kif 42212-42212 | |
(termFormat ChineseTraditionalLanguage OpeningEyes "睜開眼睛") | domainEnglishFormat.kif 42211-42211 | |
(termFormat EnglishLanguage OpeningEyes "opening eyes") | domainEnglishFormat.kif 42210-42210 |
consequent |
(=> (instance ?B Blinking) (exists (?CE ?OE) (and (instance ?CE ClosingEyes) (instance ?OE OpeningEyes) (subProcess ?CE ?B) (subProcess ?OE ?B)))) |
Medicine.kif 452-459 |