Theory 3D-TENSOR-QUANTITIES

• Last modified: Friday, 1 July 1994
• Source code: 3D-tensor-quantities.lisp
• List of other known theories

Theory documentation:

This theory specializes the Tensor-Quantities for tensors of spatial.dimension 3. 3D-tensors are ubiquitous in engineering analysis and have important special properties. The cross product (or vector product) is defined for vector-quantities of spatial.dimension 3.

Notes:

• (c) 1993, 1994 Gregory R. Olsen and Thomas R. Gruber
  
• See-Also: The EngMath paper on line
  

Cross Reference Report:

Theories included by 3d-Tensor-Quantities:

  Tensor-Quantities

Theories that include 3d-Tensor-Quantities:

  Simple-Geometry

2 classes defined:

    3d-Dyad
    3d-Vector-Quantity

No relations defined.

1 function defined:

  Cross

No instances defined.

The following constants were used from included theories:

• * defined as a function in theory Kif-Numbers
• * defined as a function in theory Basic-Matrix-Algebra
• * defined as a function in theory Physical-Quantities
• * defined as a function in theory Scalar-Quantities
• * defined as a function in theory Tensor-Quantities
• - defined as a function in theory Kif-Numbers
• - defined as a function in theory Basic-Matrix-Algebra
• - defined as a function in theory Physical-Quantities
• - defined as a function in theory Tensor-Quantities
• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Dot defined as a function in theory Tensor-Quantities
• Dyad defined as a class in theory Tensor-Quantities
• Function defined as a class in theory Kif-Relations
• Nth-Domain defined as a relation in theory Frame-Ontology
• Quantity.Dimension defined as a function in theory Physical-Quantities
• Spatial.Dimension defined as a function in theory Tensor-Quantities
• Subclass-Of defined as a relation in theory Frame-Ontology
• The-Zero-Scalar-For-Dimension defined as a function in theory Scalar-Quantities
• Vector-Component defined as a function in theory Tensor-Quantities
• Vector-Quantity defined as a class in theory Tensor-Quantities

All constants that were mentioned were defined.