**Defined in ontology: Kif-sets****Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-sets.lisp**

**Documentation@Ol%Frame-Ontology:**The set of all of subsets of a bounded set is also a bounded set.

### Notes:

**Source:**KIF Version 3.0 Specification

(=> (Bounded ?V) (Bounded (Setofall ?U (Subset ?U ?V))))