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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Brain
Brain

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


(documentation Brain EnglishLanguage "The seat of the central nervous system.") Mid-level-ontology.kif 13197-13197
(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 25357-25357
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 13196-13196
(subclass Brain VitalOrgan) Mid-level-ontology.kif 13195-13195

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


(partTypes FrontalLobe Brain) Mid-level-ontology.kif 13224-13224
(partTypes Medulla Brain) Mid-level-ontology.kif 13202-13202
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 13231-13231
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 13216-13216
(partTypes Pons Brain) Mid-level-ontology.kif 13208-13208
(partTypes TemporalLobes Brain) Mid-level-ontology.kif 13238-13238
(termFormat ChineseLanguage Brain "脑") domainEnglishFormat.kif 11840-11840
(termFormat ChineseTraditionalLanguage Brain "腦") domainEnglishFormat.kif 11839-11839
(termFormat EnglishLanguage Brain "brain") domainEnglishFormat.kif 11838-11838

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 13264-13281
(=>
    (and
        (instance ?I Impacting)
        (patient ?I ?H)
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H
                (ImpairedBodyPartFn Brain))))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H Concussion)) Likely))		 Medicine.kif 1320-1332
(=>
    (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 13283-13294

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


(=>
    (and
        (instance ?S Seizure)
        (experiencer ?S ?A))
    (exists (?B)
        (and
            (instance ?B Brain)
            (part ?B ?A)
            (located ?S ?B))))		 Medicine.kif 1606-1614
(=>
    (holdsDuring ?T
        (attribute ?H TraumaticBrainInjury))
    (holdsDuring ?T
        (attribute ?H
            (ImpairedBodyPartFn Brain))))		 Medicine.kif 1286-1291
(=>
    (instance ?HA Stroke)
    (exists (?B)
        (and
            (instance ?B Brain)
            (located ?HA ?B))))		 Mid-level-ontology.kif 13257-13262
(=>
    (instance ?HYPO Hypothalamus)
    (exists (?BRAIN)
        (and
            (instance ?BRAIN Brain)
            (part ?HYPO ?BRAIN))))		 Mid-level-ontology.kif 13448-13453