Class Finite-Set

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