Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   EyePupil
|
|
|
| appearance as argument number 1 |
|
|
| (subclass EyePupil HoleRegion) | Mid-level-ontology.kif 13628-13628 | Eye pupil is a subclass of hole |
| (subclass EyePupil Eyeball) | Mid-level-ontology.kif 13629-13629 | Eye pupil is a subclass of eye ball |
| (documentation EyePupil EnglishLanguage "The opening of the Eyeball that lets light pass from the Cornea through the Eyeball to the Retina.") | Mid-level-ontology.kif 13630-13631 | Eye pupil is a subclass of eye ball |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EyePupil "eye pupil") | Mid-level-ontology.kif 13632-13632 |
| antecedent |
|
|
| (=> (instance ?P EyePupil) (exists (?I) (and (instance ?I Eyeball) (equal ?I (HoleHostFn ?P))))) |
Mid-level-ontology.kif 13634-13640 | If X is an instance of eye pupil, then there exists Y such that Y is an instance of eye ball, equal Y, and the host of the hole X |
| consequent |
|
|
| (=> (and (instance ?P BothEyePupils) (member ?L ?P) (member ?R ?P)) (and (instance ?L (BodySideFn Left EyePupil)) (instance ?R (BodySideFn Right EyePupil)))) |
emotion.kif 1003-1012 | If X is an instance of both eye pupils, Y is a member of X, and Z is a member of X, then Y is an instance of the left of eye pupil and Z is an instance of the right of eye pupil |
|