Relation ATTRIBUTE-FUNCTION-TOTAL-ON

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

Slots on this relation:

Instance-Of: Relation

Arity: 2

Domain: Attribute-function

Range: Class

Subrelation-Of: Total-on

Equivalence Axioms:

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

Other Related Axioms:

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

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

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

Notes:

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