a(continuant_part_of)[Domain: continuant] a(continuant_part_of)[Range: continuant The range for (as in all cases throughout this document unless otherwise specified) is: temporal ‘t’ region.] as(continuant_part_of)[Examples: Mary’s arm continuant_part_of Mary in the time of her life prior to her operation\; the Northern hemisphere of the planet Earth is a part of the planet Earth at all times at which the planet Earth exists. ] continuant_part_of is antisymmetric. [120-001] ] continuant_part_of is transitive. [110-001] ] satisfies weak supplementation. [121-001] continuant_part_of (What this means is that: If continuant_part_of at & not = then there is some such that (z continuant_part_of x y t x y, z at & there is no continuant_part_of & continuant_part_of at y t w(w z w x t)), Here is, as it were, some remainder that results when is imagined to have been removed from z x y.)] a(continuant-part-of)[Axiom: continuant_part_of satisfies unique product. [122-001] ] a(continuant_part_of)[Theorem: continuant_part_of is reflexive (every continuant entity is a continuant_part_of itself). [111-002] ] The occurrent_part_of relation a(occurrent_part_of)[Elucidation: =Def. is a part of & and are occurrent_part_of b c b c b c occurrents. [003-002]] a(occurrent_part_of)[Domain: occurrent] a(occurrent_part_of)[Range: occurrent]
a(continuant_part_of)[Domain: continuant] a(continuant_part_of)[Range: continuant The range for ‘t’ (as in all cases throughout this document unless otherwise specified) is: temporal region.] as(continuant_part_of)[Examples: Mary’s arm continuant_part_of Mary in the time of her life prior to her operation\; the Northern hemisphere of the planet Earth is a part of the planet Earth at all times at which the planet Earth exists. ] continuant_part_of is antisymmetric. [120-001] ] continuant_part_of is transitive. [110-001] ] continuant_part_of satisfies weak supplementation. [121-001] (What this means is that: If x continuant_part_of y at t & not x = y, then there is some z such that (z continuant_part_of y at t & there is no w(w continuant_part_of z & w continuant_part_of x at t)), Here z is, as it were, some remainder that results when x is imagined to have been removed from y.)] a(continuant-part-of)[Axiom: continuant_part_of satisfies unique product. [122-001] ] a(continuant_part_of)[Theorem: continuant_part_of is reflexive (every continuant entity is a continuant_part_of itself). [111-002] ] The occurrent_part_of relation a(occurrent_part_of)[Elucidation: b occurrent_part_of c =Def. b is a part of c & b and c are occurrents. [003-002]] a(occurrent_part_of)[Domain: occurrent] a(occurrent_part_of)[Range: occurrent]
BFO2-Reference.docx