Add disjointness axioms to Event

[rjyounes]

Currently there are none, which allows oddities like something being both an agent and an event.

[rjyounes]

Need to figure out which top-level classes can be included.