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 12340-12341
(subclass Pupil HoleRegion)	Mid-level-ontology.kif 12339-12339	Pupil is a subclass of hole

appearance as argument number 2

(termFormat EnglishLanguage Pupil "pupil")

Mid-level-ontology.kif 12342-12342

antecedent

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

Mid-level-ontology.kif 12344-12350

If a hole is an instance of pupil,
then there exists an object such that the object is an instance of eye and the object is equal to the host of the hole the hole