TreeView Knowledge Base Browser

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 11714-11715
(subclass EyeIris Organ)	Mid-level-ontology.kif 11713-11713	EyeIris is a subclass of organ

antecedent

(=>
    (instance ?I EyeIris)
    (exists (?E)
        (and
            (instance ?E Eye)
            (part ?I ?E))))

Mid-level-ontology.kif 11717-11722

consequent

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

Mid-level-ontology.kif 11661-11667

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