| Eyelid
| |
| appearance as argument number 1 |
|
|
| (documentation Eyelid EnglishLanguage "Folds of Skin that can be manipulated to cover or uncover Eyes.") | Mid-level-ontology.kif 12374-12375 | |
| (externalImage Eyelid "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8d/ Eyelashes.jpg/ 250px-Eyelashes.jpg") | pictureList.kif 1107-1107 | |
| (subclass Eyelid Skin) | Mid-level-ontology.kif 12373-12373 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Eyelid "眼皮") | domainEnglishFormat.kif 23065-23065 | |
| (termFormat ChineseTraditionalLanguage Eyelid "眼皮") | domainEnglishFormat.kif 23064-23064 | |
| (termFormat EnglishLanguage Eyelid "eyelid") | domainEnglishFormat.kif 23063-23063 |
| antecedent |
|
|
| (=> (instance ?E Eyelid) (capability Covering instrument ?E)) |
Mid-level-ontology.kif 12377-12379 | |
| (=> (instance ?E Eyelid) (hasPurpose ?E (exists (?EYE ?P ?C) (and (instance ?C Covering) (instance ?C BodyMotion) (instance ?P Human) (experiencer ?C ?P) (instrument ?C ?E) (patient ?C ?EYE) (instance ?EYE Eye) (part ?EYE ?P) (part ?E ?P))))) |
Mid-level-ontology.kif 12381-12394 |
| consequent |
|
|
| (=> (and (instance ?EM EyeMotion) (agent ?EM ?A)) (exists (?E) (and (instance ?E Eyelid) (part ?E ?A) (patient ?EM ?E)))) |
Mid-level-ontology.kif 20201-20209 | |
| (=> (and (instance ?OEW OpeningEyesWidely) (agent ?OEW ?A)) (exists (?EL) (and (instance ?EL Eyelid) (part ?EL ?A) (patient ?OEW ?EL)))) |
emotion.kif 1668-1676 |
|
|
|