Class Finite-Set

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

Subclass-Of@Frame-Ontology: Set

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation, Set

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology:

A set that has only finite elements

Notes:

• not explicitly defined in the KIF 3.0 spec

---

Slots:

Implication Axioms for Finite-Set:

(=> (Finite-Set ?F-Set)
    (Exists (@Elements) (= ?F-Set (Setof @Elements))))

Equivalence Axioms for Finite-Set:

(<=> (Finite-Set ?F-Set)
     (And (Set ?F-Set)
          (Exists (@Elements) (= ?F-Set (Setof @Elements)))))