Class Facet

Arity: 1
Inherited-Slot-Value: 3
Documentation: A facet is a ternary relation.
Instance-Of: Class, Relation, Set
Subclass-Of: Relation, Set


Slots:

Arity: 3

Implication Axioms for Facet:

(=> (Facet ?Relation)
    (Forall (?Tuple) (=> (Member ?Tuple ?Relation) (Triple ?Tuple))))

(=> (Facet ?Relation) (Not (Empty ?Relation)))

(=> (Facet ?Relation) (= (Arity ?Relation) 3))


Equivalence Axioms for Facet:

(<=> (Facet ?Relation)
     (And (Relation ?Relation)
          (Not (Empty ?Relation))
          (Forall (?Tuple)
                  (=> (Member ?Tuple ?Relation) (Triple ?Tuple)))))