OpeningEyes
|
|
appearance as argument number 1 |
(disjoint OpeningEyes ClosingEyes) | Mid-level-ontology.kif 19954-19954 | 睁开眼睛 和 % 2 是 disjoint |
(documentation OpeningEyes EnglishLanguage "The BodyMotion of relaxing the eye lids so that the corneas are exposed to light.") | Mid-level-ontology.kif 19955-19956 | |
(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 19952-19952 | 睁开眼睛 是 眼球运动 的 subclass |
(subclass OpeningEyes Opening) | Mid-level-ontology.kif 19953-19953 | 睁开眼睛 是 开盘 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage OpeningEyes "睁开眼睛") | domainEnglishFormat.kif 42210-42210 | |
(termFormat ChineseTraditionalLanguage OpeningEyes "睜開眼睛") | domainEnglishFormat.kif 42209-42209 | |
(termFormat EnglishLanguage OpeningEyes "opening eyes") | domainEnglishFormat.kif 42208-42208 |
consequent |
(=> (instance ?B Blinking) (exists (?CE ?OE) (and (instance ?CE ClosingEyes) (instance ?OE OpeningEyes) (subProcess ?CE ?B) (subProcess ?OE ?B)))) |
Medicine.kif 452-459 |