Naming of inverse relation of 'located_in'

[zhengj2007]

From [email protected] on October 17, 2013 12:22:49

In the BFO reference, the located_in is defined as
"b located_in c at t = Def. b and c are independent continuants, and the region at which b is located at t is a (proper or improper) continuant_part_of the region at which c is located at t.

exemplified by
"Empire State Building located_in New York."

The inverse relation (not in BFO ref.) is named 'has_location'
'has_location'
The naming suggests that this is not an inverse but just an alternative name
"Empire State Building has_location New York."

I suggest to rename the inverse relation 'location of':
"New York location_of Empire State Building"

Original issue: http://code.google.com/p/bfo/issues/detail?id=184