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

**Documentation:**A set that has only finite elements

**Subclass-Of:**Set

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

- not explicitly defined in the KIF 3.0 spec