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 12206-12207 | |
(subclass EyeIris Organ) | Mid-level-ontology.kif 12205-12205 | EyeIris è una sottoclasse di Organo |
appearance as argument number 2 |
(termFormat EnglishLanguage EyeIris "eye iris") | domainEnglishFormat.kif 64846-64846 |
antecedent |
(=> (instance ?I EyeIris) (exists (?E) (and (instance ?E Eye) (part ?I ?E)))) |
Mid-level-ontology.kif 12209-12214 |