Definition of 'occurs at' to be broadened

[neilotte]

I believe 'occurs at' should read (additions in BF):

"x occurs_at y iff x is an instance of Process and y is an instance of either Site or Spatial Region, such that x occurs in y."

[swartik]

If this is correct, then the definition of the inverse property (is site of) should read:

"x is_site_of y iff x is an instance of either Site or Spatial Region and y is an instance of Process, such that y occurs in x."

[jonathanvajda]

If this is correct, then the definition of the inverse property (is site of) should read:

"x is_site_of y iff x is an instance of either Site or Spatial Region and y is an instance of Process, such that y occurs in x."

This follows, since this inverse relation has also been updated to be more generic/inclusive too. However, wouldn't this mean that this relation is not ideally named?