|
|
   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 12178-12179 | |
| (subclass EyeIris Organ) | Mid-level-ontology.kif 12177-12177 | 子類 EyeIris and Organ |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EyeIris "eye iris") | domainEnglishFormat.kif 64844-64844 |
| antecedent |
|
|
| (=> (instance ?I EyeIris) (exists (?E) (and (instance ?E Eye) (part ?I ?E)))) |
Mid-level-ontology.kif 12181-12186 |
|
|
|