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))))