Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Stroke(stroke) |  | CVA, apoplexy, cerebral_hemorrhage, cerebrovascular_accident, haemorrhagic_stroke, hemorrhagic_stroke, ischaemic_stroke, ischemic_stroke, stroke |
| appearance as argument number 1 |
|
|
| (subclass Stroke PathologicProcess) | Mid-level-ontology.kif 13392-13392 | Stroke is a subclass of pathologic process |
| (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 13393-13405 | Stroke is a subclass of pathologic process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Stroke "stroke") | Mid-level-ontology.kif 13406-13406 |
| antecedent |
|
|
| (=> (instance ?HA Stroke) (exists (?B) (and (instance ?B Brain) (located ?HA ?B)))) |
Mid-level-ontology.kif 13408-13413 | If X is an instance of stroke, then there exists Y such that Y is an instance of brain and X is located at Y |
| (=> (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 13415-13432 | If X is an instance of stroke, Y is an instance of brain, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of nerve cell (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z |
| (=> (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 13434-13445 | If X is an instance of stroke, Y is an instance of brain, and X is located at Y, then there exist Z, W such that Z is an instance of nerve cell, Z is located at Y, W is an instance of destruction, W is a subprocess of X, and Z is a patient of W |
| (=> (and (patient ?I ?B) (instance ?B Brain) (or (instance ?I Stroke) (instance ?I Injuring) (instance ?I Seizure)) (experiencer ?I ?H) (part ?B ?H)) (modalAttribute (exists (?M) (and (instance ?M Mydriasis) (experiencer ?M ?H) (causes ?I ?M))) Possibility)) |
emotion.kif 864-879 | If X is a patient of Y, X is an instance of brain, At least one of the following holds: (1) Y is an instance of stroke (2) Y is an instance of injuring (3) Y is an instance of epileptic seizure, Z experiences Y, and X is a part of Z, then the statement there exists W such that W is an instance of mydriasis, Z experiences W, and Y causes W has the modal force of possibility |
| (=> (and (patient ?I ?B) (instance ?B Brain) (or (instance ?I Stroke) (instance ?I Injuring) (instance ?I Seizure)) (experiencer ?I ?H) (part ?B ?H)) (modalAttribute (exists (?M) (and (instance ?M Miosis) (experiencer ?M ?H) (causes ?I ?M))) Possibility)) |
emotion.kif 969-984 | If X is a patient of Y, X is an instance of brain, At least one of the following holds: (1) Y is an instance of stroke (2) Y is an instance of injuring (3) Y is an instance of epileptic seizure, Z experiences Y, and X is a part of Z, then the statement there exists W such that W is an instance of miosis, Z experiences W, and Y causes W has the modal force of possibility |
|