|
|
   OpeningEyes
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint OpeningEyes ClosingEyes) | Mid-level-ontology.kif 19982-19982 | OpeningEyes è disgiunto da ClosingEyes |
| (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 | OpeningEyes è una sottoclasse di EyeMotion |
| (subclass OpeningEyes Opening) | Mid-level-ontology.kif 19981-19981 | OpeningEyes è una sottoclasse di Opening |
| 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 |
|
|
|
|
