specifically depends on at all times
(forall (x) (if (exists (y t) (specificallyDependsOnAt x y t)) (not (MaterialEntity x)))) // axiom label in BFO2 CLIF: [052-001]
BFO2 Reference: specifically dependent continuant\; process; process boundary
s-depends-on_at
(forall (x y z t) (if (and (specificallyDependsOnAt x y t) (specificallyDependsOnAt y z t)) (specificallyDependsOnAt x z t))) // axiom label in BFO2 CLIF: [054-002]
(forall (x y t) (if (and (Entity x) (or (continuantPartOfAt y x t) (continuantPartOfAt x y t) (occurrentPartOf x y) (occurrentPartOf y x))) (not (specificallyDependsOnAt x y t)))) // axiom label in BFO2 CLIF: [013-002]
A pain s-depends_on the organism that is experiencing the pain
specificallyDependsOn
(forall (x y t) (if (specificallyDependsOnAt x y t) (exists (z) (and (IndependentContinuant z) (not (SpatialRegion z)) (specificallyDependsOnAt x z t))))) // axiom label in BFO2 CLIF: [136-001]
Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'specifically depends on at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'specifically depends on@en(x,y,t)'.
(forall (x y t) (if (and (Occurrent x) (IndependentContinuant y) (specificallyDependsOnAt x y t)) (forall (t_1) (if (existsAt x t_1) (specificallyDependsOnAt x y t_1))))) // axiom label in BFO2 CLIF: [015-002]
BFO 2 Reference: An entity – for example an act of communication or a game of football – can s-depends_on more than one entity. Complex phenomena for example in the psychological and social realms (such as inferring, commanding and requesting) or in the realm of multi-organismal biological processes (such as infection and resistance), will involve multiple families of dependence relations, involving both continuants and occurrents [1, 4, 28
BFO 2 Reference: S-dependence is just one type of dependence among many; it is what, in the literature, is referred to as ‘existential dependence’ [87, 46, 65, 20
BFO 2 Reference: the relation of s-depends_on does not in every case require simultaneous existence of its relata. Note the difference between such cases and the cases of continuant universals defined historically: the act of answering depends existentially on the prior act of questioning; the human being who was baptized or who answered a question does not himself depend existentially on the prior act of baptism or answering. He would still exist even if these acts had never taken place.
If b is s-depends_on something at some time, then b is not a material entity. (axiom label in BFO2 Reference: [052-001])
If b s-depends_on something at t, then there is some c, which is an independent continuant and not a spatial region, such that b s-depends_on c at t. (axiom label in BFO2 Reference: [136-001])
If occurrent b s-depends_on some independent continuant c at t, then b s-depends_on c at every time at which b exists. (axiom label in BFO2 Reference: [015-002])
To say that b s-depends_on a at t is to say that b and c do not share common parts & b is of its nature such that it cannot exist unless c exists & b is not a boundary of c and b is not a site of which c is the host [64
a gait s-depends_on the walking object. (All at some specific time.)
a shape s-depends_on the shaped object
an entity does not s-depend_on any of its (continuant or occurrent) parts or on anything it is part of. (axiom label in BFO2 Reference: [013-002])
if b s-depends_on c at t & c s-depends_on d at t then b s-depends_on d at t. (axiom label in BFO2 Reference: [054-002])
one-sided s-dependence of a dependent continuant on an independent continuant: an instance of headache s-depends_on some head
one-sided s-dependence of a dependent continuant on an independent continuant: an instance of temperature s-depends_on some organism
one-sided s-dependence of a process on something: a process of cell death s-depends_on a cell
one-sided s-dependence of a process on something: an instance of seeing (a relational process) s-depends_on some organism and on some seen entity, which may be an occurrent or a continuant
one-sided s-dependence of one occurrent on another: a process of answering a question is dependent on a prior process of asking a question
one-sided s-dependence of one occurrent on another: a process of obeying a command is dependent on a prior process of issuing a command
one-sided s-dependence of one occurrent on multiple independent continuants: a relational process of hitting a ball with a cricket bat
one-sided s-dependence of one occurrent on multiple independent continuants: a relational process of paying cash to a merchant in exchange for a bag of figs
reciprocal s-dependence between occurrents: a process of buying and the associated process of selling
reciprocal s-dependence between occurrents: a process of increasing the volume of a portion of gas while temperature remains constant and the associated process of decreasing the pressure exerted by the gas
reciprocal s-dependence between occurrents: in a game of chess the process of playing with the white pieces is mutually dependent on the process of playing with the black pieces
the one-sided dependence of an occurrent on an independent continuant: football match on the players, the ground, the ball
the one-sided dependence of an occurrent on an independent continuant: handwave on a hand
the three-sided reciprocal s-dependence of the hue, saturation and brightness of a color [45
the three-sided reciprocal s-dependence of the pitch, timbre and volume of a tone [45
the two-sided reciprocal s-dependence of the roles of husband and wife [20
specifically depends on at some time