has location at some time
[copied from inverse property 'located in at some time'] Mary located_in Salzburg
[copied from inverse property 'located in at some time'] 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. (axiom label in BFO2 Reference: [045-001])
[copied from inverse property 'located in at some time'] the Empire State Building located_in New York.
[copied from inverse property 'located in at some time'] Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance level, relation. The BFO reading of the binary relation 'located in at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'located in@en'(x,y,t)
[copied from inverse property 'located in at some time'] this portion of cocaine located_in this portion of blood
[copied from inverse property 'located in at some time'] your arm located_in your body
has-location_st
[copied from inverse property 'located in at some time'] this stem cell located_in this portion of bone marrow
[copied from inverse property 'located in at some time'] BFO2 Reference: independent continuant
independent continuant