has generic dependent at some time
[copied from inverse property 'generically depends on at some time'] BFO2 Reference: independent continuant
[copied from inverse property 'generically depends on at some time'] BFO2 Reference: generically dependent continuant
[copied from inverse property 'generically depends on 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 'generically depends on at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'generically depends on@en'(x,y,t)
[copied from inverse property 'generically depends on at some time'] b g-depends on c at t1 means: b exists at t1 and c exists at t1 & for some type B it holds that (c instantiates B at t1) & necessarily, for all t (if b exists at t then some instance_of B exists at t) & not (b s-depends_on c at t1). (axiom label in BFO2 Reference: [072-002])
has-g-dep_st
has specific dependent at some time
concretizes at all times
independent continuant
spatial region
generically dependent continuant