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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CordlessTelephone

 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 腦 的例子總是 Human 的 initially part 的例子
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11874-11874 子類 腦 and 動物解剖結構
(subclass Brain VitalOrgan) Mid-level-ontology.kif 11873-11873 子類 腦 and VitalOrgan

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


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