Relation ATTRIBUTE-FUNCTION-TOTAL-ON

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

Slots on this relation:

Arity: 2

Domain: Attribute-function

Range: Class

Subrelation-Of: Total-on

Axioms:

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