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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Retina

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 10561-10563
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/2/2d/ Retina-OCT800.png") pictureList.kif 7733-7733
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/5/55/ Gray881.png") pictureList.kif 7734-7734
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/d/d0/ ERP_-_optic_cabling.jpg") pictureList.kif 6822-6822
(externalImage Retina "http://upload.wikimedia.org/wikipedia/commons/e/ed/ Human_eye_cross-sectional_view_grayscale.png") pictureList.kif 7735-7735
(subclass Retina AnimalAnatomicalStructure) Mid-level-ontology.kif 10560-10560
(subclass Retina Organ) Mid-level-ontology.kif 10559-10559

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


(termFormat ChineseLanguage Retina "视网膜") domainEnglishFormat.kif 49803-49803
(termFormat ChineseTraditionalLanguage Retina "視網膜") domainEnglishFormat.kif 49802-49802
(termFormat EnglishLanguage Retina "retina") domainEnglishFormat.kif 49801-49801

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


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


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

Show without tree


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