Function THE-IDENTITY-UNARY-SCALAR-FUNCTION-FOR-DOMAIN

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

Slots on this function:

Documentation:

The the-identity-unary-scalar-function-for-domain is a scalar function which has a range = 1 for the exact-domain ?domain; f(x) = 1 forall x in ?domain.

Arity: 2

Range: Unary-scalar-function-quantity

Axioms:

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