Relation COMPATIBLE-QUANTITIES

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

Slots on this relation:

Documentation:

Two physical quantities are compatible if their physical-dimensions are equal. Compatibility constrains how quantities can be compared and combined with algebraic operators.

Arity: 2

Domain: Physical-quantity

Range: Physical-quantity

Axioms:

(<=> (Compatible-Quantities ?X ?Y)
     (And (Physical-Quantity ?X)
          (Physical-Quantity ?Y)
          (= (Quantity.Dimension ?X) (Quantity.Dimension ?Y))))

Notes:

• EXAMPLE
• Compatible-Quantities: (* 6 feet)
  

  (* 20 meters)