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 12403-12405
(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 12402-12402 Retina is a subclass of animal anatomical structure
(subclass Retina Organ) Mid-level-ontology.kif 12401-12401 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 12407-12412


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