Function SPATIAL-VALUE

Arity: 2

Subrelation-Of: Numeric-value

Axioms:

(=> (Spatial-Value ?A ?B)
    (Exists (?U)
            (And (Spatial-Unit ?U)
                 (Exists (?C)
                         (And (The-Spatial-Unit ?B ?C)
                              (Identity ?C ?U))))))

• Defined in theory: Positions
• Source code: Positions.lisp