Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cornea(cornea) |
| appearance as argument number 1 |
|
| (subclass Cornea BodyPart) | Mid-level-ontology.kif 13642-13642 | Cornea is a subclass of body part |
| (initialPart Cornea Eyeball) | Mid-level-ontology.kif 13643-13643 | Every cornea is initially part of a eye ball |
| (documentation Cornea EnglishLanguage "The biological lens of the Eye that focuses light on the Retina.It is the transparent front part of the Eyeball which covers the Iris, EyePupil and anterior chamber.[Wikipedia]") | Mid-level-ontology.kif 13644-13646 | Every cornea is initially part of a eye ball |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cornea "cornea") | Mid-level-ontology.kif 13647-13647 |
| antecedent |
|
|
| (=> (instance ?C Cornea) (attribute ?C Transparent)) |
Mid-level-ontology.kif 13649-13651 | If X is an instance of cornea, then transparent is an attribute of X |
| consequent |
|
|
| (=> (and (instance ?R Region) (equal ?R (OuterBoundaryFn ?B)) (instance ?B Eyeball)) (exists (?C ?S) (and (part ?C ?R) (instance ?C Cornea) (part ?S ?R) (instance ?S Sclera) (meetsSpatially ?C ?S) (equal ?C (FrontFn ?B))))) |
Mid-level-ontology.kif 13744-13758 | If X is an instance of region, equal X and the outer boundary of Y, and Y is an instance of eye ball, then All of the following hold: (1) there exist Z (2) W such that Z is a part of X (3) Z is an instance of cornea (4) W is a part of X (5) W is an instance of sclera (6) Z meets W (7) equal Z (8) the front of Y |
| (=> (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 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 |
|