Relation PARTICIPANT-FUNCTION-TOTAL-ON

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

Slots on this relation:

Arity: 2

Domain: Participant-function

Range: Class

Subrelation-Of: Total-on

Axioms:

(<=> (Participant-Function-Total-On ?Function ?Class)
     (And (Participant-Function ?Function)
          (Class ?Class)
          (Total-On ?Function ?Class)))

Notes:

• Formerly-Called: participant-function
• See the discussion about QUANTITY-FUNCTION-TOTAL-ON.