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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Brain

 Sigma KEE - Brain
Brain

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


(documentation Brain EnglishLanguage "The seat of the central nervous system.") Mid-level-ontology.kif 11847-11847
(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 11846-11846
(subclass Brain VitalOrgan) Mid-level-ontology.kif 11845-11845

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


(partTypes FrontalLobe Brain) Mid-level-ontology.kif 11874-11874
(partTypes Medulla Brain) Mid-level-ontology.kif 11852-11852
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 11881-11881
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 11866-11866
(partTypes Pons Brain) Mid-level-ontology.kif 11858-11858
(partTypes TemporalLobes Brain) Mid-level-ontology.kif 11888-11888
(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 11914-11931
(=>
    (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 11933-11944

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 11907-11912
(=>
    (instance ?HYPO Hypothalamus)
    (exists (?BRAIN)
        (and
            (instance ?BRAIN Brain)
            (part ?HYPO ?BRAIN))))		 Mid-level-ontology.kif 12098-12103