Axiom: If is an occurrent and is a continuant and s-depends_on at then exists at some b c b c t, c time during the temporal region spanned by [129-001] b. Axiom: If is an occurrent and is an occurrent and s-depends_on at then exists at b c b c t, c t. [130-001]] An cannot migrate from one independent continuant bearer to another. s-dependent continuant entity The entities that s-depends_on something include which s-depends_on in every case on one or specifically and generically dependent continuants, more which are their bearers, and which may in addition stand in independent continuants relations among themselves; which s-depends_on in every case on one or more which occurrents, independent continuants participate in them. Occurrents may in addition stand in one-sided and reciprocal s-depends_on relations to other entities, including and qualities, dispositions occurrents (see [46, chapter 8; 20, 22] and the discussion of below). process profiles, Types of s-dependence Examples of one-sided s-dependence of a on an dependent continuant independent continuant: example(s-depends on)[one-sided s-dependence of a dependent continuant on an independent continuant: an instance of s-depends_on some headache head] example(s-depends on)[one-sided s-dependence of a dependent continuant on an independent continuant: an of some organism] instance s-depends_on temperature Example of s-dependence of a on something: process
Axiom: If b is an occurrent and c is a continuant and b s-depends_on c at t, then c exists at some time during the temporal region spanned by b. [129-001] Axiom: If b is an occurrent and c is an occurrent and b s-depends_on c at t, then c exists at t. [130-001]] An s-dependent continuant entity cannot migrate from one independent continuant bearer to another. The entities that s-depends_on something include specifically and generically dependent continuants, which s-depends_on in every case on one or more independent continuants which are their bearers, and which may in addition stand in relations among themselves; occurrents, which s-depends_on in every case on one or more independent continuants which participate in them. Occurrents may in addition stand in one-sided and reciprocal s-depends_on relations to other entities, including qualities, dispositions and occurrents (see [46, chapter 8; 20, 22] and the discussion of process profiles, below). Types of s-dependence Examples of one-sided s-dependence of a dependent continuant on an independent continuant: example(s-depends on)[one-sided s-dependence of a dependent continuant on an independent continuant: an instance of headache s-depends_on some head] example(s-depends on)[one-sided s-dependence of a dependent continuant on an independent continuant: an instance of temperature s-depends_on some organism] Example of s-dependence of a process on something:
BFO2-Reference.docx