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.

Subclass-Of: Unary-function

Axioms:

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