Pupil - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Pupil EnglishLanguage "The opening of the Eye that lets light pass from the Cornea through the Eye to the Retina.")	Mid-level-ontology.kif 12122-12123
(subclass Pupil HoleRegion)	Mid-level-ontology.kif 12121-12121	Pupil 是洞的 subclass

appearance as argument number 2

(termFormat EnglishLanguage Pupil "pupil")

Mid-level-ontology.kif 12124-12124

antecedent

(=>
    (instance ?P Pupil)
    (exists (?I)
        (and
            (instance ?I Eye)
            (equal ?I
                (HoleHostFn ?P)))))

Mid-level-ontology.kif 12126-12132