Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
OpeningEye(opening eye)
|
| appearance as argument number 1 |
|
| (subclass OpeningEye FacialExpression) | Mid-level-ontology.kif 21967-21967 | Opening eye is a subclass of facial expression |
| (subclass OpeningEye BodyMotion) | Mid-level-ontology.kif 22071-22071 | Opening eye is a subclass of body motion |
| (subclass OpeningEye Opening) | Mid-level-ontology.kif 22072-22072 | Opening eye is a subclass of opening |
| (disjoint OpeningEye OpeningOneEye) | Mid-level-ontology.kif 22073-22073 | Opening eye is disjoint from OpeningOneEye |
| (documentation OpeningEye EnglishLanguage "The BodyMotion of relaxing the upper eye lid so that the corneas are exposed to light.The eye was closed before it is opened.") | Mid-level-ontology.kif 22074-22075 | Opening eye is disjoint from OpeningOneEye |
| (externalImage OpeningEye "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Eye_opening_and_closing.gif") | pictureList.kif 10168-10168 | Opening eye is disjoint from OpeningOneEye |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?O OpeningEye) (patient ?O ?E) (instance ?E Eye)) (exists (?T) (and (holdsDuring ?T (attribute ?E Open)) (during (WhenFn ?O) ?T) (holdsDuring (ImmediatePastFn (WhenFn ?O)) (attribute ?E Closed))))) |
Mid-level-ontology.kif 22077-22091 | If X is an instance of opening eye, Y is a patient of X, and Y is an instance of eye, then there exists Z such that open is an attribute of Y holds during Z, the time of existence of X takes place during Z, and closed is an attribute of Y holds during immediately before the time of existence of X |
| (=> (and (instance ?O OpeningEye) (patient ?O ?E) (instance ?E Eye)) (exists (?R ?L ?U ?C) (and (instance ?R MuscleRelaxing) (patient ?R ?L) (instance ?U UpperEyelid) (part ?L ?E) (during (WhenFn ?R) (WhenFn ?O)) (causes ?R ?U) (instance ?U Uncovering) (patient ?U ?C) (instance ?C Cornea) (part ?C ?E) (subProcess ?R ?O)))) |
Mid-level-ontology.kif 22093-22110 | If X is an instance of opening eye, Y is a patient of X, and Y is an instance of eye, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of muscle relaxing (3) W is a patient of Z (4) V is an instance of upper eye lid (5) W is a part of Y (6) the time of existence of Z takes place during the time of existence of X (7) Z causes V (8) V is an instance of uncovering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) Z is a subprocess of X |
| (=> (and (instance ?O OpeningEye) (agent ?O ?H) (instance ?H Human) (not (attribute ?H Blind))) (exists (?S ?R) (and (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R) (instance ?R RadiatingVisibleLight) (during (WhenFn ?S) (WhenFn ?O))))) |
Mid-level-ontology.kif 22112-22127 | If X is an instance of opening eye, Y is an agent of X, Y is an instance of human, and blindness is not an attribute of Y, then there exist Z, W such that Z is an instance of seeing, Y is an agent of Z, W is a patient of Z, W is an instance of radiating visible light, and the time of existence of Z takes place during the time of existence of X |
| consequent |
|
|
| (=> (and (instance ?O OpeningBothEyes) (patient ?O ?E) (instance ?E BothEyes)) (exists (?L ?R ?A ?B) (and (member ?L ?E) (member ?R ?E) (instance ?A OpeningEye) (instance ?B OpeningEye) (subProcess ?A ?O) (subProcess ?B ?O) (patient ?A ?L) (patient ?B ?R) (not (equal ?A ?B)) (cooccur ?A ?B)))) |
Mid-level-ontology.kif 21979-21996 | If X is an instance of OpeningBothEyes, Y is a patient of X, and Y is an instance of both eyes, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a member of Y (3) W is a member of Y (4) V is an instance of opening eye (5) U is an instance of opening eye (6) V is a subprocess of X (7) U is a subprocess of X (8) Z is a patient of V (9) W is a patient of U (10) equal V (11) U (12) V occurs at the same time as U |
|