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 12121-12122
(subclass Pupil HoleRegion)	Mid-level-ontology.kif 12120-12120	Pupil は HoleRegion の subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage Pupil "pupil")

Mid-level-ontology.kif 12123-12123

antecedent

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

Mid-level-ontology.kif 12125-12131