Quantity-space 3D-LENGTH-SPACE

• Defined in theory: Simple-geometry
• Source code: simple-geometry.lisp

Slots on this instance:

Documentation:

The set of points in three-dimensional space.

Instance-Of: Quantity-space

Axioms:

(=> (And (Member ?X1 3d-Length-Space) (Member ?X2 3d-Length-Space))
    (Quantity.Dimension (Distance ?X1 ?X2) Length-Dimension))