568
edits
Compact event notation: Difference between revisions
Compact event notation (view source)
Revision as of 17:44, 20 December 2023
, 17:44, 20 December 2023verbs
m (show how it looks without nonagents) |
m (verbs) |
||
| Line 25: | Line 25: | ||
! Compact notation !! Expanded notation | ! Compact notation !! Expanded notation | ||
|- | |- | ||
| <math>\exists \mathop{\text{ | | <math>\exists \mathop{\text{tıjuı}}\limits_{< \text{t}}{}^{e}_{w}\left( \text{y}, \text{z}\right)</math> || <math>\exists e. \tau(e) < \text{t} \wedge \text{tıjuı}_w(\text{y},\text{z})(e) </math> | ||
|- | |- | ||
| <math>\exists \mathop{\text{ | | <math>\exists \mathop{\text{tıjuı}}\limits_{< \text{t}}{}^{e}_{w}\left( \text{y}, \text{z}\right). P(e)</math> || <math>\exists e. \tau(e) < \text{t} \wedge \text{tıjuı}_w(\text{y},\text{z})(e) \wedge P(e)</math> | ||
|- | |- | ||
| <math>\exists \mathop{\text{ | | <math>\exists \mathop{\text{heaqdo}}\limits_{< \text{t}}{}^{e}_{w}\left(\text{x}; \text{y}, \text{z}\right)</math> || <math>\exists e. \tau(e) < \text{t} \wedge \text{heaqdo}_w(\text{y},\text{z})(e) \wedge \text{AGENT}(e)(w) = \text{x} </math> | ||
|- | |- | ||
| <math>\exists \mathop{\text{ | | <math>\exists \mathop{\text{heaqdo}}\limits_{< \text{t}}{}^{e}_{w}\left(\text{x}; \text{y}, \text{z}\right). P(e)</math> || <math>\exists e. \tau(e) < \text{t} \wedge \text{heaqdo}_w(\text{y},\text{z})(e) \wedge \text{AGENT}(e)(w) = \text{x} \wedge P(e)</math> | ||
|- | |- | ||
| <math>\exists \mathop{\text{ruqshua}}\limits_{< \text{t}}{}^{e}_{w}</math> || <math>\exists e. \tau(e) < \text{t} \wedge \text{ruqshua}_w(e)</math> | | <math>\exists \mathop{\text{ruqshua}}\limits_{< \text{t}}{}^{e}_{w}</math> || <math>\exists e. \tau(e) < \text{t} \wedge \text{ruqshua}_w(e)</math> | ||