Relation PARTICIPANT-FUNCTION-TOTAL-ON


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: