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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Brain

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 11329-11329
(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 11328-11328 Brain is a subclass of animal anatomical structure
(subclass Brain VitalOrgan) Mid-level-ontology.kif 11327-11327 Brain is a subclass of vital organ

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


(partTypes FrontalLobe Brain) Mid-level-ontology.kif 11356-11356 Every frontal lobe is a part of a brain
(partTypes Medulla Brain) Mid-level-ontology.kif 11334-11334 Every medulla is a part of a brain
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 11363-11363 Every occipital lobes is a part of a brain
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 11348-11348 Every parietal lobe is a part of a brain
(partTypes Pons Brain) Mid-level-ontology.kif 11340-11340 Every pons is a part of a brain
(partTypes TemporalLobes Brain) Mid-level-ontology.kif 11370-11370 Every temporal lobes is a part of a brain
(termFormat ChineseLanguage Brain "脑") domainEnglishFormat.kif 11828-11828
(termFormat ChineseTraditionalLanguage Brain "腦") domainEnglishFormat.kif 11827-11827
(termFormat EnglishLanguage Brain "brain") domainEnglishFormat.kif 11826-11826

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


(=>
    (and
        (instance ?HA Stroke)
        (instance ?H Brain)
        (located ?HA ?H))
    (exists (?M)
        (and
            (instance ?M NerveCell)
            (part ?M ?H)
            (not
                (exists (?BF ?B)
                    (and
                        (instance ?BF LiquidMotion)
                        (objectTransferred ?BF ?B)
                        (instance ?B Blood)
                        (during ?BF
                            (WhenFn ?HA))
                        (destination ?BF ?M)))))))
Mid-level-ontology.kif 11396-11413
(=>
    (and
        (instance ?S Stroke)
        (instance ?B Brain)
        (located ?S ?B))
    (exists (?N ?D)
        (and
            (instance ?N NerveCell)
            (located ?N ?B)
            (instance ?D Destruction)
            (subProcess ?D ?S)
            (patient ?D ?N))))
Mid-level-ontology.kif 11415-11426

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


(=>
    (instance ?HA Stroke)
    (exists (?B)
        (and
            (instance ?B Brain)
            (located ?HA ?B))))
Mid-level-ontology.kif 11389-11394
(=>
    (instance ?HYPO Hypothalamus)
    (exists (?BRAIN)
        (and
            (instance ?BRAIN Brain)
            (part ?HYPO ?BRAIN))))
Mid-level-ontology.kif 11577-11582


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