Function BASE-UNITS

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

Slots on this function:

Documentation:

Defines a set of base units for a system of units.

Instance-Of: Function

Arity: 2

Domain: System-of-units

Range: Set

Other Related Axioms:

(Instance-Of (Setofall ?Dim
                       (Exists (?Unit)
                               (And (Member ?Unit
                                            (Base-Units ?System))
                                    (= ?Dim
                                       (Quantity.Dimension ?Unit)))))
             Orthogonal-Dimension-Set)

(Orthogonal-Dimension-Set 
    (Setofall ?Dim
              (Exists (?Unit)
                      (And (Member ?Unit (Base-Units ?System))
                           (= ?Dim (Quantity.Dimension ?Unit))))))

(=> (Member ?Unit (Base-Units ?System)) (Instance-Of ?Unit ?System))

(Inherited-Facet-Value Slot-Cardinality System-Of-Units Base-Units 1)

(<=> (System-Of-Units ?System)
     (And (Class ?System)
          (Subclass-Of ?System Unit-Of-Measure)
          (=> (Instance-Of ?Unit ?System)
              (= (Standard-Unit ?System (Quantity.Dimension ?Unit))
                 ?Unit))
          (Value-Cardinality ?System Base-Units 1)
          (=> (Member ?Unit (Base-Units ?System))
              (Instance-Of ?Unit ?System))
          (Orthogonal-Dimension-Set 
              (Setofall ?Dim
                        (Exists (?Unit)
                                (And (Member ?Unit
                                             (Base-Units ?System))
                                     (= ?Dim
                                        (Quantity.Dimension ?Unit))))))))

(=> (Base-Units $X $Y) (Set $Y))

(=> (Base-Units $X $Y) (System-Of-Units $X))

(=> (= (Base-Units ?System-Of-Units) ?Set-Of-Units)
    (=> (Member ?Unit ?Set-Of-Units) (Unit-Of-Measure ?Unit)))