| 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 12397-12398 | |
| (subclass EyeIris Organ) | Mid-level-ontology.kif 12396-12396 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EyeIris "eye iris") | domainEnglishFormat.kif 64869-64869 |
| antecedent |
|
|
| (=> (instance ?I EyeIris) (exists (?E) (and (instance ?E Eye) (part ?I ?E)))) |
Mid-level-ontology.kif 12400-12405 |
|
|
|