Retina - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Retina Organ)	Mid-level-ontology.kif 12542-12542	Retina is a subclass of organ
(subclass Retina AnimalAnatomicalStructure)	Mid-level-ontology.kif 12543-12543	Retina is a subclass of animal anatomical structure
(documentation Retina EnglishLanguage "A membrane that covers the Eye and converts the image formed by the lens of the Eye into neurochemical impulses which can be processed by the Brain.")	Mid-level-ontology.kif 12544-12546	Retina is a subclass of animal anatomical structure
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/d/d0/ ERP_-_optic_cabling.jpg")	pictureList.kif 6820-6820	Retina is a subclass of animal anatomical structure
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/2/2d/ Retina_OCT800.png")	pictureList.kif 7731-7731	Retina is a subclass of animal anatomical structure
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/5/55/ Gray881.png")	pictureList.kif 7732-7732	Retina is a subclass of animal anatomical structure
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/e/ed/ Human_eye_cross_sectional_view_grayscale.png")	pictureList.kif 7733-7733	Retina is a subclass of animal anatomical structure

appearance as argument number 2

(termFormat EnglishLanguage Retina "retina")	domainEnglishFormat.kif 49815-49815
(termFormat ChineseTraditionalLanguage Retina "視網膜")	domainEnglishFormat.kif 49816-49816
(termFormat ChineseLanguage Retina "视网膜")	domainEnglishFormat.kif 49817-49817

antecedent

(=>
    (instance ?R Retina)
    (exists (?E)
        (and
            (instance ?E Eye)
            (part ?R ?E))))

If X is an instance of retina, then there exists Y such that Y is an instance of eye and X is a part of Y