Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UpperEyelid(upper eye lid) |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UpperEyelid "upper eye lid") | Mid-level-ontology.kif 13679-13679 |
| antecedent |
|
|
| (=> (and (instance ?U UpperEyelid) (instance ?L LowerEyelid) (instance ?E Eye) (part ?U ?E) (part ?L ?E)) (orientation ?U ?L Above)) |
Mid-level-ontology.kif 13682-13689 | If X is an instance of upper eye lid, Y is an instance of lower eye lid, Z is an instance of eye, X is a part of Z, and Y is a part of Z, then X is above to Y |
| consequent |
|
|
| (=> (instance ?B Eyeball) (exists (?S ?L1 ?L2) (and (instance ?S Eyesocket) (properlyFills ?B ?S) (instance ?L1 UpperEyelid) (instance ?L2 LowerEyelid) (covers ?L1 ?B)))) |
Mid-level-ontology.kif 13716-13724 | If X is an instance of eye ball, then there exist Y, Z, W such that Y is an instance of eye socket, X properly fills Y, Z is an instance of upper eye lid, W is an instance of lower eye lid, and Z covers 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 ?C ClosingEye) (patient ?C ?E)) (exists (?U ?L ?T) (and (instance ?U UpperEyelid) (instance ?L LowerEyelid) (part ?U ?E) (part ?L ?E) (holdsDuring ?T (meetsSpatially ?U ?L)) (during ?T (WhenFn ?C))))) |
Mid-level-ontology.kif 22135-22147 | If X is an instance of closing eye and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of upper eye lid (3) W is an instance of lower eye lid (4) Z is a part of Y (5) W is a part of Y (6) Z meets W holds during V (7) V takes place during the time of existence of X |
| (=> (and (instance ?O ClosingEye) (patient ?O ?E) (instance ?E Eye)) (exists (?M ?U ?C ?CC) (and (instance ?M MuscularContraction) (patient ?M ?U) (instance ?U UpperEyelid) (part ?U ?E) (during (WhenFn ?M) (WhenFn ?O)) (causes ?M ?C) (instance ?C Covering) (patient ?C ?CC) (instance ?CC Cornea) (part ?CC ?E) (subProcess ?C ?O)))) |
Mid-level-ontology.kif 22165-22182 | If X is an instance of closing 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 muscular contraction (3) W is a patient of Z (4) W 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 covering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) V is a subprocess of X |
|