Function THE-SPATIAL-UNIT

Arity: 2
Range: Spatial-unit
Subrelation-Of: The-unit
Axioms:
(<=> (The-Spatial-Unit ?A ?B)
     (And (The-Unit ?A ?B) (Spatial-Unit ?B)))