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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Retina
Retina(retina)
retinal

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 11950-11952
(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 11949-11949 Retina is a subclass of animal anatomical structure
(subclass Retina Organ) Mid-level-ontology.kif 11948-11948 Retina is a subclass of organ

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


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

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


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


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