Relation HAS-PARTICIPANT-FUNCTION

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

Slots on this relation:

Documentation:

Model fragments has functions from instances to participants. These functions are called participant-function's. Has-participant-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: Participant-function

Other Related Axioms:

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

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

Notes:

• See the discussion about HAS-QUANTITY-FUNCTION.