Relation MEETS

Temporal connection; diagrammatically: --.
Arity: 2
Domain: Temporalized-entity
Range: Temporalized-entity
Subrelation-Of: Temporal-relation
Axioms:
(=> (Meets ?A ?B)
    (Not (Exists (?Z)
                 (And (Time-Span ?Z)
                      (Precedes ?Z ?B)
                      (Precedes ?A ?Z)))))