Relation CROSSES-THROUGH

In USN: traverses, which is for both crosses-over and crosses-through, for regions or parts only. Here: x crosses-through y equals to x overlaps y along at least one whole dimension (length, width or depth), say the interiors of x and y overlap. On the contrary, x crosses-over y equals to x crosses-through the region of y, without overlapping y.
Arity: 2
Domain: Localized-entity
Range: Localized-entity
Subrelation-Of: Position-relation
Axioms:
(=> (Crosses-Through ?A ?B)
    (Exists (?C ?D)
            (And (Interior ?A ?C)
                 (Overlaps ?C ?D)
                 (Interior-Of ?D ?B))))