Class FINITE-SET

• Defined in theory: Kif-extensions
• Source code: kif-extensions.lisp

Slots on this class:

Documentation:

A set that has only finite elements

Instance-Of: Class

Subclass-Of: Set

Equivalence Axioms:

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

Axioms:

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

(Set ?F-Set)

Other Related Axioms:

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

Notes:

• not explicitly defined in the KIF 3.0 spec