Relation HAS-QUANTITY-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 quantity-function's. Has-quantity-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: Quantity-function

Other Related Axioms:

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

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

Notes:

• Should the domain of this be model-fragment instances, instead of classes?

  Suporting the instances option, the relevant slots inherit down through subclasses of model-fragment.

  In support of the class option, this allows an inverse slot (currently called QUANTITY-FUNCTION-OF) from functions to the model-fragments it is about.