]> http://www.ifomis.org/bfo/1.1/snap#DependentContinuant http://www.ifomis.org/bfo/1.1/snap#IndependentContinuant http://www.ifomis.org/bfo/1.1/snap#Quality http://www.ifomis.org/bfo/1.1/snap#RealizableEntity http://www.ifomis.org/bfo/1.1/snap#Role http://www.ifomis.org/bfo/1.1/snap#SpatialRegion http://www.ifomis.org/bfo/1.1/span#Occurrent http://www.ifomis.org/bfo/1.1/span#Process http://www.ifomis.org/bfo/1.1/span#ProcessualEntity part_of on the instance level is a primitive relation, holding either atemporally between two process instances or temporally between two continuant instances As for part_of, with the additional constraint that subject and object are distinct As for has_part, with the additional constraint that subject and object are distinct c adjacent to c' if and only if: c and c' are in spatial proximity c contained_in c' at t if and only if: c located_in c' at t, and it is not the case that c *overlaps* c' at t. (c' is a conduit or cavity.) x overlaps y if and only if: there is some z such that: z part_of x and z part_of y (i.e. x and y share a part) x partially_overlaps y if and only if: x overlaps y and neither x is part_of y not y is part_of x Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time. As for has_participant, but with the additional condition that the component instance is causally active in the relevant process A primitive relation that holds between a dependent continuant instance and a bearer bears has_inherent has_inherer is_bearer_of A relation between an entity and a dependent continuant; the reciprocal relation of inheres_in A relation between a quality Q and an entity E. Q quality_of E iff: Q inheres_in E and Q is a quality A relation between an entity and a quality. For types: E has_quality Q iff: for any eEt, exists qQt such that q inheres_in e at t. For instances: e has_quality q at t iff q inheres_in e at t and q instance-of Quality f function_of c at t iff : f inheres_in c at t and f instantiates a function A relation between a role r and a continuant c. r role_of c at t iff: r inheres_in c at t and r instance_of Role at t A relation between a continuant C and a role R. The inverse_of role_of. executes is_functioning_of is_realization_of realization_of executed_by has_functioning has_realization is_realized_as realized_as Relation between a realizable entity (such as a function or role) and a process. Derivation on the instance level (*derives_from*) holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later. A primitive relation between a continuant and an instant of time. P preceded_by P' if and only if: given any process p that instantiates P at a time t, there is some process p' such that p' instantiates P' at time t', and t' is earlier than t. Instance level relation between an occurrent and a temporal interval, such that the two temporally coincide. The interval is defined by the start and end of the process. before earlier process_located_in unfolds_in p occurs_in s at t : the participants of of p are spatially contained by s at t.