generically depends on at some time
(forall (x y) (if (exists (t) (genericallyDependsOnAt x y t)) (forall (t_1) (if (existsAt x t_1) (exists (z) (genericallyDependsOnAt x z t_1)))))) // axiom label in BFO2 CLIF: [073-001]
g-depends-on_st
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)
BFO2 Reference: independent continuant
BFO2 Reference: generically dependent continuant
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])
genericallyDependsOn
if b g-depends_on c at some time t, then b g-depends_on something at all times at which b exists. (axiom label in BFO2 Reference: [073-001])
has generic dependent at some time
independent continuant
spatial region
generically dependent continuant