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 12385-12387
(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 12384-12384
(subclass Retina Organ) Mid-level-ontology.kif 12383-12383

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


(termFormat ChineseLanguage Retina "视网膜") domainEnglishFormat.kif 49824-49824
(termFormat ChineseTraditionalLanguage Retina "視網膜") domainEnglishFormat.kif 49823-49823
(termFormat EnglishLanguage Retina "retina") domainEnglishFormat.kif 49822-49822

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


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


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