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 13018-13019
(subclass Pupil HoleRegion)	Mid-level-ontology.kif 13017-13017	Pupil is a subclass of hole

appearance as argument number 2

(termFormat EnglishLanguage Pupil "pupil")

Mid-level-ontology.kif 13020-13020

antecedent

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

Mid-level-ontology.kif 13022-13028

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