Function BEGINPOINT

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.
Arity: 2
Domain: Temporalized-entity
Range: Temporalized-entity
Subrelation-Of: Time-function
Axioms:
(=> (Beginpoint ?A ?B)
    (And (Temporal-Part-Of ?B ?A)
         (Not (Exists (?Z)
                      (And (Temporal-Part-Of ?Z ?A) (Meets ?Z ?B))))))