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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stroke
Stroke(stroke)CVA, apoplexy, cerebral_hemorrhage, cerebrovascular_accident, haemorrhagic_stroke, hemorrhagic_stroke, ischaemic_stroke, ischemic_stroke, stroke

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


(documentation Stroke EnglishLanguage "A stroke is a medical condition in which poor Blood flow to the brain causes cell death. There are two main types of stroke: ischemic, due to lack of blood flow, and hemorrhagic, due to bleeding. Both cause parts of the brain to stop functioning properly. Signs and symptoms of a stroke may include an inability to move or feel on one side of the body, problems understanding or speaking, dizziness, or loss of vision to one side. Signs and symptoms often appear soon after the stroke has occurred. If symptoms last less than one or two hours, the stroke is a transient ischemic attack (TIA), also called a mini-stroke. A hemorrhagic stroke may also be associated with a severe headache. The symptoms of a stroke can be permanent. Long-term complications may include pneumonia and loss of bladder control.[from Wikipedia]") Mid-level-ontology.kif 11920-11932
(subclass Stroke PathologicProcess) Mid-level-ontology.kif 11919-11919 Stroke is a subclass of pathologic process

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


(termFormat EnglishLanguage Stroke "stroke") Mid-level-ontology.kif 11933-11933

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 ?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
(=>
    (instance ?HA Stroke)
    (exists (?B)
        (and
            (instance ?B Brain)
            (located ?HA ?B))))
Mid-level-ontology.kif 11935-11940


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners