Function ABSCISSA-VALUE

Arity: 2

Subrelation-Of: Position-relation

Axioms:

(=> (Abscissa-Value ?A ?B)
    (Exists (?Z) (Spatial-Coordinates ?A ?B ?Z)))

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