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"
From steschu@gmail.com 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