Function POSITION

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

Slots on this function:

Documentation:

Position is the vector from ?p1 to ?p2.

Arity: 3

Axioms:

(Nth-Domain Position 3 3d-Vector-Quantity)

(Nth-Domain Position 2 3d-Point)

(Nth-Domain Position 1 3d-Point)

(= (Position ?P1 ?P2) (- (Position ?P2 ?P1)))

(Zero-Element (Position ?P ?P))

(= (Position ?P1 ?P3) (+ (Position ?P1 ?P2) (Position ?P2 ?P3)))