interval meets/interval met by

[alanruttenberg]

1. interval met by and interval meets are inverses but are not declared such
2. The definitions are circular.

Meets

x interval meets y =Def y interval met by x

Met by

x interval_met_by y iff x and y are both instances of Temporal Interval and y interval_meets x.

Fix: Declare them inverses and change the definition of interval meets to:

x meets y iff x and y are temporal intervals and the last instant of x is the first instant of y and x and y do not overlap

The overlaps clause is there because BFO temporal intervals may have as part (or not) their first and last instants. So in the case where it looks like they meet, if the last instant of x is part of x and the first instant of y(=last of x) is part of y then they overlap on that instant.

If you don't include the clause then neither meets or met by are subproperties of disjoint.