Relation PARTICIPANT-FUNCTION-TOTAL-ON

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

Slots on this relation:

Instance-Of: Relation

Arity: 2

Domain: Participant-function

Range: Class

Subrelation-Of: Total-on

Equivalence Axioms:

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

Other Related Axioms:

(=> (Participant-Function-Total-On $X $Y) (Class $Y))

(=> (Participant-Function-Total-On $X $Y) (Participant-Function $X))

(<=> (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.