Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Sclera
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Sclera BodyPart) | Mid-level-ontology.kif 13738-13738 | Sclera is a subclass of body part |
| (documentation Sclera EnglishLanguage "Sclera is the white outer layer of the eyeball. At the front of the eye it is continuous with the Cornea") | Mid-level-ontology.kif 13739-13740 | Sclera is a subclass of body part |
| (initialPart Sclera Eyeball) | Mid-level-ontology.kif 13742-13742 | Every sclera is initially part of a eye ball |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sclera "sclera") | Mid-level-ontology.kif 13741-13741 |
| 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 |
|