| 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 13504-13505 | |
| (subclass EyeIris Organ) | Mid-level-ontology.kif 13503-13503 | Eye iris is a subclass of organ |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EyeIris "eye iris") | domainEnglishFormat.kif 64837-64837 |
| antecedent |
|
|
| (=> (instance ?I EyeIris) (exists (?E) (and (instance ?E Eye) (part ?I ?E)))) |
Mid-level-ontology.kif 13507-13512 |
|
|
|
|