Relation IS-BEGINPOINT-OF

Arity: 2

Axioms:

(= (Inverse Beginpoint) Is-Beginpoint-Of)

• Defined in theory: Unrestricted-time
• Source code: Unrestricted-Time.lisp