| EyeIris | |
| appearance as argument number 1 |
|
|
| (documentation EyeIris EnglishLanguage "The iris is a thin, circular structure in the Eye, responsible for controlling the diameter and size of the pupils.") | Mid-level-ontology.kif 11657-11658 | |
| (subclass EyeIris Organ) | Mid-level-ontology.kif 11656-11656 | subclass EyeIris and Organ |
| antecedent |
|
|
| (=> (instance ?I EyeIris) (exists (?E) (and (instance ?E Eye) (part ?I ?E)))) |
Mid-level-ontology.kif 11660-11665 |
| consequent |
|
|
| (=> (instance ?P Pupil) (exists (?I) (and (instance ?I EyeIris) (equal ?I (HoleHostFn ?P))))) |
Mid-level-ontology.kif 11604-11610 |
|
|
|