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 11848-11848
(externalImage Brain "http://articulatesoftware.com/SUMOpictures/medical/ anatomy/ brain.png") pictureList.kif 288-288
(externalImage Brain "http://upload.wikimedia.org/wikipedia/commons/4/49/ Human_brain_NIH.jpg") pictureList.kif 51-51
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11847-11847 Brain is a subclass of animal anatomical structure
(subclass Brain VitalOrgan) Mid-level-ontology.kif 11846-11846 Brain is a subclass of vital organ

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


(partTypes FrontalLobe Brain) Mid-level-ontology.kif 11875-11875 Every frontal lobe is a part of a brain
(partTypes Medulla Brain) Mid-level-ontology.kif 11853-11853 Every medulla is a part of a brain
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 11882-11882 Every occipital lobes is a part of a brain
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 11867-11867 Every parietal lobe is a part of a brain
(partTypes Pons Brain) Mid-level-ontology.kif 11859-11859 Every pons is a part of a brain
(partTypes TemporalLobes Brain) Mid-level-ontology.kif 11889-11889 Every temporal lobes is a part of a brain
(termFormat ChineseLanguage Brain "脑") domainEnglishFormat.kif 11825-11825
(termFormat ChineseTraditionalLanguage Brain "腦") domainEnglishFormat.kif 11824-11824
(termFormat EnglishLanguage Brain "brain") domainEnglishFormat.kif 11823-11823

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 11915-11932
(=>
    (and
        (instance ?I Impacting)
        (patient ?I ?H)
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H
                (ImpairedBodyPartFn Brain))))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H Concussion)) Likely))
Medicine.kif 1328-1340
(=>
    (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 11934-11945

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


(=>
    (and
        (instance ?S Seizure)
        (experiencer ?S ?A))
    (exists (?B)
        (and
            (instance ?B Brain)
            (part ?B ?A)
            (located ?S ?B))))
Medicine.kif 1613-1621
(=>
    (holdsDuring ?T
        (attribute ?H TraumaticBrainInjury))
    (holdsDuring ?T
        (attribute ?H
            (ImpairedBodyPartFn Brain))))
Medicine.kif 1294-1299
(=>
    (instance ?HA Stroke)
    (exists (?B)
        (and
            (instance ?B Brain)
            (located ?HA ?B))))
Mid-level-ontology.kif 11908-11913
(=>
    (instance ?HYPO Hypothalamus)
    (exists (?BRAIN)
        (and
            (instance ?BRAIN Brain)
            (part ?HYPO ?BRAIN))))
Mid-level-ontology.kif 12099-12104