Class Proper-Set

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

Subclass-Of@Frame-Ontology: Set

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology:

A proper set is a set that cannot be a member of another set.

Notes:

• Source: KIF Version 3.0 Specification

---

Slots: