Relation DIMENSION-COMPOSABLE-FROM

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

Slots on this relation:

Arity: 2

Domain: Physical-dimension

Axioms:

(<=> (Dimension-Composable-From ?Dim ?Set-Of-Dimensions)
     (Or (Member ?Dim ?Set-Of-Dimensions)
         (Exists (?Dim1 ?Dim2)
                 (And (Dimension-Composable-From ?Dim1
                                                 ?Set-Of-Dimensions)
                      (Dimension-Composable-From ?Dim2
                                                 ?Set-Of-Dimensions)
                      (= ?Dim (* ?Dim1 ?Dim2))))
         (Exists (?Dim1 ?Real)
                 (And (Dimension-Composable-From ?Dim1
                                                 ?Set-Of-Dimensions)
                      (Real-Number ?Real)
                      (= ?Dim (Expt ?Dim1 ?Real))))))