Class PARTICIPANT-FUNCTION

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

Slots on this class:

Documentation:

A participant function is a unary function from model fragments to entities.

Subclass-Of: Unary-function

---

Slots on instances of this class:

Domain: Model-fragment

Range: Entity

Axioms:

(<=> (Participant-Function ?F)
     (And (Unary-Function ?F)
          (Domain ?F Model-Fragment)
          (Range ?F Entity)))