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

Open Data