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 13179-13179
(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 25338-25338 脑 的例子总是 人类 的 initially part 的例子
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 13178-13178 脑 是 动物解剖结构 的 subclass
(subclass Brain VitalOrgan) Mid-level-ontology.kif 13177-13177 脑 是 VitalOrgan 的 subclass

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


(partTypes FrontalLobe Brain) Mid-level-ontology.kif 13206-13206 每个 FrontalLobe 是 脑 的 part
(partTypes Medulla Brain) Mid-level-ontology.kif 13184-13184 每个 Medulla 是 脑 的 part
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 13213-13213 每个 OccipitalLobes 是 脑 的 part
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 13198-13198 每个 ParietalLobe 是 脑 的 part
(partTypes Pons Brain) Mid-level-ontology.kif 13190-13190 每个 Pons 是 脑 的 part
(partTypes TemporalLobes Brain) Mid-level-ontology.kif 13220-13220 每个 TemporalLobes 是 脑 的 part
(termFormat ChineseLanguage Brain "脑") domainEnglishFormat.kif 11834-11834 每个 TemporalLobes 是 脑 的 part
(termFormat ChineseTraditionalLanguage Brain "腦") domainEnglishFormat.kif 11833-11833 每个 TemporalLobes 是 脑 的 part
(termFormat EnglishLanguage Brain "brain") domainEnglishFormat.kif 11832-11832 每个 TemporalLobes 是 脑 的 part

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 13246-13263
(=>
    (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 13265-13276

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 13239-13244
(=>
    (instance ?HYPO Hypothalamus)
    (exists (?BRAIN)
        (and
            (instance ?BRAIN Brain)
            (part ?HYPO ?BRAIN))))		 Mid-level-ontology.kif 13430-13435