Class ORTHOGONAL-DIMENSION-SET

• Defined in theory: Physical-quantities
• Source code: physical-quantities.lisp

Slots on this class:

Documentation:

A set of orthogonal dimensions; i.e., dimensions that cannot be composed from each other.

Subclass-Of: Simple-set

Axioms:

(<=> (Orthogonal-Dimension-Set ?Set-Of-Dimensions)
     (And (Simple-Set ?Set-Of-Dimensions)
          (=> (Member ?Dim ?Set-Of-Dimensions)
              (And (Physical-Dimension ?Dim)
                   (Not (Dimension-Composable-From 
                            ?Dim
                            (Difference ?Set-Of-Dimensions
                                        (Setof ?Dim))))))))