| EyeIris(eye iris) | | iris |
| 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 13075-13076 | |
| (subclass EyeIris Organ) | Mid-level-ontology.kif 13074-13074 | Eye iris is a subclass of organ |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EyeIris "eye iris") | domainEnglishFormat.kif 64867-64867 |
| antecedent |
|
|
| (=> (instance ?I EyeIris) (exists (?E) (and (instance ?E Eye) (part ?I ?E)))) |
Mid-level-ontology.kif 13078-13083 |
|
|
|
|