Class FINITE-SET

A set that has only finite elements

Subclass-Of: Set

Axioms:

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

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

Notes:

• not explicitly defined in the KIF 3.0 spec