Table 3 |
|
|
Basic global formulae |
|
|
Formula |
Description |
|
|
|
|
event(i) ⇒ ∃t.eventType(i, t) |
If there is an event there should be an event type |
|
eventType(i, t) ⇒ event(i) |
If there is an event type there should be an event |
|
role(i, j, r) ⇒ event(i) |
If j plays the role r for i then i has to be an event |
|
event(i) ⇒ ∃j.role(i, j, Theme) |
Every event relates to need at least one argument. |
|
|
|
|
Yoshikawa et al. Journal of Biomedical Semantics 2011 2(Suppl 5):S6 doi:10.1186/2041-1480-2-S5-S6 |
|
