Class 3D-POINT

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

Slots on this class:

Documentation: A point in 3D space.

Instance-Of: Class

---

Slots on instances of this class:

Point-In: 3d-length-space

Equivalence Axioms:

(<=> (3d-Point ?Pt) (Point-In ?Pt 3d-Length-Space))

Other Related Axioms:

(<= (Point-In $X 3d-Length-Space) (3d-Point $X))

(<=> (3d-Point ?Pt) (Point-In ?Pt 3d-Length-Space))

(=> (And (3d-Point ?P1) (3d-Point ?P2))
    (<=> (Distance ?P1 ?P2 ?D)
         (And (Scalar-Quantity ?D)
              (Quantity.Dimension ?D Length-Dimension)
              (= ?D
                 (Sqrt (Dot (Position ?P1 ?P2) (Position ?P1 ?P2)))))))

(Nth-Domain Position 2 3d-Point)

(Nth-Domain Position 1 3d-Point)