Function THE-ZERO-UNARY-SCALAR-FUNCTION-FOR-DIMENSION

• Defined in theory: Unary-scalar-functions
• Source code: unary-scalar-functions.lisp

Slots on this function:

Documentation:

The zero-usf-function is the scalar function that has a range = zero-scalar-for-dimension ?physdim for exact-domain ?domain; f(x)=0 forall x in ?domain.

Arity: 3

Axioms:

(Nth-Domain The-Zero-Unary-Scalar-Function-For-Dimension
            3
            Unary-Scalar-Function-Quantity)

(Nth-Domain The-Zero-Unary-Scalar-Function-For-Dimension
            1
            Physical-Dimension)

(=> (The-Zero-Unary-Scalar-Function-For-Dimension ?Physdim
                                                  ?Domain
                                                  ?F)
    (And (Subclass-Of ?Domain Scalar-Quantity)
         (Exact-Domain ?F ?Domain)
         (Forall (?T)
                 (=> (Instance-Of ?T ?Domain)
                     (= (Value ?F ?T)
                        (The-Zero-Scalar-For-Dimension ?Physdim))))))