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 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 initiallyContainsPart Brain and Umano
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11874-11874 Brain è una sottoclasse di AnimalAnatomicalStructure
(subclass Brain VitalOrgan) Mid-level-ontology.kif 11873-11873 Brain è una sottoclasse di VitalOrgan

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


(partTypes FrontalLobe Brain) Mid-level-ontology.kif 11902-11902 partTypes FrontalLobe and Brain
(partTypes Medulla Brain) Mid-level-ontology.kif 11880-11880 partTypes Medulla and Brain
(partTypes OccipitalLobes Brain) Mid-level-ontology.kif 11909-11909 partTypes OccipitalLobes and Brain
(partTypes ParietalLobe Brain) Mid-level-ontology.kif 11894-11894 partTypes ParietalLobe and Brain
(partTypes Pons Brain) Mid-level-ontology.kif 11886-11886 partTypes Pons and Brain
(partTypes TemporalLobes Brain) Mid-level-ontology.kif 11916-11916 partTypes TemporalLobes and 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