a(member_part_of)[Definition: member_part_of at =Def. is an b c t b object & there is at a mutually and pairwise disjoint partition of into t c objects x1, (for some > 1) with = for some 1 [026-004] xn n b xi i n. …, ≤ ≤ a(member_part_of)[Domain: object] a(member_part_of)[Range: object aggregate] a(member_part_of)[Theorem: if member_part_of at then continuant_part_of at b c t b c t. [104-001] ] as(member_part_of)[Examples: each tree in a forest is a member_part of the forest\; each in a chess set is a member part of the chess set; each Beatle in the collection called is a The Beatles member part of ] The Beatles. a(object aggregate)[Elucidation: is an means: is a consisting b object aggregate b material entity exactly of a plurality of as member_parts at all times at which exists. [025-004]] objects b Thus aggregate)[if b is an then if exists at there are at object aggregate, b t, objects o1, t …,on such that: for all (x continuant_part_of at iff overlaps some at ] x b t x oi t) Here is used in the standard way to mean: a common part with’. ‘overlaps’ ‘shares definition(object-aggregate)[An entity is an object aggregate at if and only if there is a mutually b t exhaustive and pairwise disjoint partition of into objects at [63]. ] b t as(object aggregate)[Examples: a symphony orchestra\, the aggregate of bearings in a constant velocity axle joint\, the nitrogen atoms in the atmosphere\, a collection of cells in a blood biobank. ] The member parts of an are the proximal parts of the aggregate those parts that object aggregate – determine the aggregate as an aggregate (sometimes referred to as or parts’ [74]). ‘grains’ ‘granular
a(member_part_of)[Definition: b member_part_of c at t =Def. b is an object & there is at t a mutually and pairwise disjoint partition of c into objects x1, …, xn (for some n > 1) with b = xi for some 1 ≤ i ≤ n. [026-004] a(member_part_of)[Domain: object] a(member_part_of)[Range: object aggregate] a(member_part_of)[Theorem: if b member_part_of c at t then b continuant_part_of c at t. [104-001] ] as(member_part_of)[Examples: each tree in a forest is a member_part of the forest\; each in a chess set is a member part of the chess set; each Beatle in the collection called The Beatles is a member part of The Beatles. ] a(object aggregate)[Elucidation: b is an object aggregate means: b is a material entity consisting exactly of a plurality of objects as member_parts at all times at which b exists. [025-004]] Thus aggregate)[if b is an object aggregate, then if b exists at t, there are objects o1, …,on at t such that: for all x (x continuant_part_of b at t iff x overlaps some oi at t) ] Here ‘overlaps’ is used in the standard way to mean: ‘shares a common part with’. definition(object-aggregate)[An entity b is an object aggregate at t if and only if there is a mutually exhaustive and pairwise disjoint partition of b into objects at t [63]. ] as(object aggregate)[Examples: a symphony orchestra\, the aggregate of bearings in a constant velocity axle joint\, the nitrogen atoms in the atmosphere\, a collection of cells in a blood biobank. ] The member parts of an object aggregate are the proximal parts of the aggregate – those parts that determine the aggregate as an aggregate (sometimes referred to as ‘grains’ or ‘granular parts’ [74]).
BFO2-Reference.docx