Object Property: 'has location at some time'

'BFO OWL specification label' "has-location_st" ()
'example of usage' "[copied from inverse property 'located in at some time'] Mary located_in Salzburg" ()
'example of usage' "[copied from inverse property 'located in at some time'] the Empire State Building located_in New York." ()
'example of usage' "[copied from inverse property 'located in at some time'] this portion of cocaine located_in this portion of blood" ()
'example of usage' "[copied from inverse property 'located in at some time'] this stem cell located_in this portion of bone marrow" ()
'example of usage' "[copied from inverse property 'located in at some time'] your arm located_in your body" ()
definition "[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])" ()
'editor note' "[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)" ()
'editor note' "[copied from inverse property 'located in at some time'] BFO2 Reference: independent continuant" ()
isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
label "has location at some time" (en)

http://purl.obolibrary.org/obo/BFO_0000124