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 initiallyContainsPart Brain and 人[人間]
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 13178-13178 BrainAnimalAnatomicalStructuresubclass では
(subclass Brain VitalOrgan) Mid-level-ontology.kif 13177-13177 BrainVitalOrgansubclass では

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


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

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