Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Retina
Retina

appearance as argument number 1
-------------------------


(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 11272-11274
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/2/2d/ Retina-OCT800.png") pictureList.kif 7731-7731
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/5/55/ Gray881.png") pictureList.kif 7732-7732
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/d/d0/ ERP_-_optic_cabling.jpg") pictureList.kif 6820-6820
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/e/ed/ Human_eye_cross-sectional_view_grayscale.png") pictureList.kif 7733-7733
(subclass Retina AnimalAnatomicalStructure) Mid-level-ontology.kif 11271-11271
(subclass Retina Organ) Mid-level-ontology.kif 11270-11270

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Retina "视网膜") domainEnglishFormat.kif 49855-49855
(termFormat ChineseTraditionalLanguage Retina "視網膜") domainEnglishFormat.kif 49854-49854
(termFormat EnglishLanguage Retina "retina") domainEnglishFormat.kif 49853-49853

antecedent
-------------------------


(=>
    (instance ?R Retina)
    (exists (?E)
        (and
            (instance ?E Eye)
            (part ?R ?E))))
Mid-level-ontology.kif 11276-11281


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners