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 11875-11875
(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
(initiallyContainsPart Brain Human) Mid-level-ontology.kif 23749-23749 Instance of brain are always initially part of instances of human
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11874-11874 Brain is a subclass of animal anatomical structure
(subclass Brain VitalOrgan) Mid-level-ontology.kif 11873-11873 Brain is a subclass of vital organ

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


(partTypes FrontalLobe Brain) Mid-level-ontology.kif 11902-11902 Every frontal lobe is a part of a brain
(partTypes Medulla Brain) Mid-level-ontology.kif 11880-11880 Every medulla is a part of a brain
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 11909-11909 Every occipital lobes is a part of a brain
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 11894-11894 Every parietal lobe is a part of a brain
(partTypes Pons Brain) Mid-level-ontology.kif 11886-11886 Every pons is a part of a brain
(partTypes TemporalLobes Brain) Mid-level-ontology.kif 11916-11916 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 11942-11959
(=>
    (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 11961-11972

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 11935-11940
(=>
    (instance ?HYPO Hypothalamus)
    (exists (?BRAIN)
        (and
            (instance ?BRAIN Brain)
            (part ?HYPO ?BRAIN))))
Mid-level-ontology.kif 12126-12131