(=>
(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
(instance ?I Impacting)
(patient ?I ?H)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?I))
(attribute ?H
(ImpairedBodyPartFn Brain))))
(modalAttribute
(holdsDuring
(ImmediateFutureFn
(WhenFn ?I))
(attribute ?H Concussion)) Likely)) |
Medicine.kif 1309-1323 |
If X is an instance of impacting, Y is a patient of X, and impaired body part fn brain is an attribute of Y holds during immediately after the time of existence of X, then the statement mild traumatic brain injury is an attribute of Y holds during immediately after the time of existence of X has the modal force of likely |
(=>
(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 |
