]> concretized by at some time [copied from inverse property 'concretizes at some time'] You may concretize a piece of software by installing it in your computer [copied from inverse property 'concretizes at some time'] you may concretize a poem as a pattern of memory traces in your head [copied from inverse property 'concretizes at some time'] You may concretize a recipe that you find in a cookbook by turning it into a plan which exists as a realizable dependent continuant in your head. [copied from inverse property 'concretizes 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 'concretizes at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'concretizes@en'(x,y,t) [copied from inverse property 'concretizes at some time'] b concretizes c at t means: b is a specifically dependent continuant & c is a generically dependent continuant & for some independent continuant that is not a spatial region d, b s-depends_on d at t & c g-depends on d at t & if c migrates from bearer d to another bearer e than a copy of b will be created in e. (axiom label in BFO2 Reference: [075-002]) concretized-by_st specifically dependent continuant generically dependent continuant concretizes at some time