Function ==

• Defined in theory: Cml
• Source code: cml.lisp

Slots on this function:

Documentation:

== is equality between quantities, factoring out differences between constants and time-dependent quantities. A time-dependent quantity that always returns the same value is == to its value, but not = to its value.

Instance-Of: Function

Arity: 3

Equivalence Axioms:

(<=> (== ?Q1 ?Q2)
     (And (Physical-Quantity ?Q1)
          (Physical-Quantity ?Q2)
          (Forall (?T) (= (Value-At ?Q1 ?T) (Value-At ?Q2 ?T)))))

Axioms:

(Nth-Domain == 2 Physical-Quantity)

(Nth-Domain == 1 Physical-Quantity)

Other Related Axioms:

(=> (= (== ?Q1 ?Q2) ?Result)
    (Forall (?T) (= (Value-At ?Q1 ?T) (Value-At ?Q2 ?T))))

(=> (= (== ?Q1 ?Q2) ?Result) (Physical-Quantity ?Q2))

(=> (= (== ?Q1 ?Q2) ?Result) (Physical-Quantity ?Q1))