Sentence SUBSET-AXIOM

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

Slots on this instance:

Documentation:

The set of all of subsets of a bounded set is also a bounded set.

Instance-Of: Sentence

Defining-Axiom:

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

Notes:

• Source: KIF Version 3.0 Specification