A beginpoint of a process is its initial pointillistic part. The use of 'meets' in the definition requires a mereologic definition of meets, otherwise beginpoint and meets are circularly introduced.
(=> (Beginpoint ?A ?B) (And (Temporal-Part-Of ?B ?A) (Not (Exists (?Z) (And (Temporal-Part-Of ?Z ?A) (Meets ?Z ?B))))))