Class 3D-VECTOR-QUANTITY

• Defined in theory: 3d-tensor-quantities
• Source code: 3D-tensor-quantities.lisp

Slots on this class:

Documentation:

Vectors of 3-dimensions. (These vectors have important properities and are of particular interest to engineering analysis).

Instance-Of: Class

Subclass-Of: Vector-quantity

---

Slots on instances of this class:

Spatial.Dimension: 3

Other Related Axioms:

(<= (Spatial.Dimension $X 3) (3d-Vector-Quantity $X))

(=> (3d-Vector-Quantity ?X) (Spatial.Dimension ?X 3))

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

(Nth-Domain Cross 2 3d-Vector-Quantity)

(Nth-Domain Cross 1 3d-Vector-Quantity)

(=> (= (Cross ?V1 ?V2) ?V) (3d-Vector-Quantity ?V))

(=> (= (Cross ?V1 ?V2) ?V) (3d-Vector-Quantity ?V2))

(=> (= (Cross ?V1 ?V2) ?V) (3d-Vector-Quantity ?V1))