Relation CROSSED-THROUGH-BY

Arity: 2
Domain: Localized-entity
Range: Localized-entity
Axioms:
(= (Inverse Crosses-Through) Crossed-Through-By)

(<=> (Crossed-Through-By ?A ?B)
     (And (Localized-Entity ?A) (Localized-Entity ?B)))