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 reported on code.google.com by steschu@gmail.com on 17 Oct 2013 at 4:22
Original issue reported on code.google.com by
steschu@gmail.com
on 17 Oct 2013 at 4:22