(=>
(holdsDuring ?T
(and
(attribute ?H TraumaticBrainInjury)
(instance ?H Human)))
(modalAttribute
(and
(during ?T
(ImmediateFutureFn ?T))
(attribute ?H MechanicalAnisocoria)) Possibility)) |
emotion.kif 1060-1069 |
If TBI is an attribute of X and X is an instance of human holds during Y, then the statement Y takes place during immediately after Y and mechanical anisocoria is an attribute of X has the modal force of possibility |
(=>
(and
(instance ?I Inflammation)
(patient ?I ?E)
(instance ?E Eyeball)
(part ?E ?H)
(instance ?H Human))
(modalAttribute
(and
(during
(WhenFn ?I)
(ImmediateFutureFn
(WhenFn ?I)))
(attribute ?H MechanicalAnisocoria)) Possibility)) |
emotion.kif 1071-1084 |
If X is an instance of inflammation, Y is a patient of X, Y is an instance of eye ball, Y is a part of Z, and Z is an instance of human, then the statement the time of existence of X takes place during immediately after the time of existence of X and mechanical anisocoria is an attribute of Z has the modal force of possibility |
(=>
(and
(instance ?S Surgery)
(patient ?S ?E)
(instance ?E Eyeball)
(part ?E ?H)
(instance ?H Human))
(modalAttribute
(holdsDuring
(ImmediateFutureFn
(WhenFn ?S))
(attribute ?H MechanicalAnisocoria)) Possibility)) |
emotion.kif 1086-1097 |
If X is an instance of surgery, Y is a patient of X, Y is an instance of eye ball, Y is a part of Z, and Z is an instance of human, then the statement mechanical anisocoria is an attribute of Z holds during immediately after the time of existence of X has the modal force of possibility |
