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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Brain
Brain(brain)
brain, cerebral_cortex, cerebral_mantle, cortex, encephalon, head, limbic_brain, limbic_system, mind, neocortex, neocortical, neopallium, nous, pallium, psyche, upstairs, visceral_brain

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


(documentation Brain EnglishLanguage "The seat of the central nervous system.") Mid-level-ontology.kif 10026-10026
(externalImage Brain "http://upload.wikimedia.org/wikipedia/commons/4/49/ Human_brain_NIH.jpg") pictureList.kif 51-51
(externalImage Brain "http://www.adampease.org/Articulate/SUMOpictures/pictures/ medical/ anatomy/ brain.png") pictureList.kif 288-288
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 10025-10025 Brain is a subclass of animal anatomical structure
(subclass Brain Organ) Mid-level-ontology.kif 10024-10024 Brain is a subclass of organ

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


(termFormat ChineseLanguage Brain "脑") domainEnglishFormat.kif 11767-11767
(termFormat ChineseTraditionalLanguage Brain "腦") domainEnglishFormat.kif 11766-11766
(termFormat EnglishLanguage Brain "brain") domainEnglishFormat.kif 11765-11765

consequent
-------------------------


(=>
    (instance ?HYPO Hypothalamus)
    (exists (?BRAIN)
        (and
            (instance ?BRAIN Brain)
            (part ?HYPO ?BRAIN))))
Mid-level-ontology.kif 10067-10072


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners