Class Set-Class

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Subclass-Of: Class, Relation, Set

Has-Instance: Eo-Set

Instance-Of: Class, Relation, Set

Arity: 1

Documentation:

Set-Class is a meta-Class. Its instances are special kinds of classes, all of whose instances are themselves sets (not Classes) such that every member of such a set is specified to be a member of a certain Class.

---

Slots:

Arity: 1

Equivalence Axioms for Set-Class:

(<=> (Set-Class ?X0)
     (Exists (?Thing)
             (And (Class ?Thing)
                  (Forall (?Things)
                          (<=> (Instance-Of ?Things ?X0)
                               (And (Set ?Things)
                                    (Forall (?X)
                                            (=> (Member ?X ?Things)
                                                (Instance-Of ?X
                                                             ?Thing)))))))))

Equivalence Axioms mentioning Set-Class:

(<=> (Eo-Set ?X0)
     (Exists (?Sc) (And (Set-Class ?Sc) (Instance-Of ?X0 ?Sc))))