A set that has only finite elementsNotes:
- not explicitly defined in the KIF 3.0 spec
(=> (Finite-Set ?F-Set) (Exists (@Elements) (= ?F-Set (Setof @Elements))))
(<=> (Finite-Set ?F-Set) (And (Set ?F-Set) (Exists (@Elements) (= ?F-Set (Setof @Elements)))))