Class Facet

• Defined in ontology: Frame-ontology
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/frame-ontology.lisp

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)))))