exists at has occurrent part occupies spatiotemporal region part of occurrent temporal part of occurrent spatiotemporal region process process boundary (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002]) p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001]) process boundary (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] p-boundary ProcessBoundary the boundary between the 2nd and 3rd year of your life. p is a process boundary if p is a temporal part of a process and p has no proper temporal parts. [BFO] zero-dimensional temporal region