Relation HAS-ATTRIBUTE-FUNCTION

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

Slots on this relation:

Documentation:

Model fragments has functions from instances to quantities. These functions are called attribute-function's. Has-attribute-function is used to name the relevant functions for an model fragment instance. It is typically defined as an instance slot on a model-fragment class.

Instance-Of: Relation

Arity: 2

Domain: Individual-thing

Range: Attribute-function

Other Related Axioms:

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

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

Notes:

• See the discussion about HAS-QUANTITY-FUNCTION.