Class ATTRIBUTE-FUNCTION

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

Slots on this class:

Documentation:

An attribute-function is a unary function defined over model fragments or entities.

Instance-Of: Class

Subclass-Of: Unary-function

Domain-Of: Attribute-function-total-on

Range-Of: Has-attribute-function

Equivalence Axioms:

(<=> (Attribute-Function ?F)
     (And (Unary-Function ?F)
          (Domain ?F
                  (Kappa (?X) (Or (Model-Fragment ?X) (Entity ?X))))))

Axioms:

(Domain ?F (Kappa (?X) (Or (Model-Fragment ?X) (Entity ?X))))

(Unary-Function ?F)

Other Related Axioms:

(<=> (Attribute-Function ?F)
     (And (Unary-Function ?F)
          (Domain ?F
                  (Kappa (?X) (Or (Model-Fragment ?X) (Entity ?X))))))

(=> (Has-Attribute-Function $X $Y) (Attribute-Function $Y))

(=> (Attribute-Function-Total-On $X $Y) (Attribute-Function $X))

(<=> (Attribute-Function-Total-On ?Function ?Class)
     (And (Attribute-Function ?Function)
          (Class ?Class)
          (Total-On ?Function ?Class)))