Sentence INTERSECTION-AXIOM

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

Slots on this instance:

Documentation:

The intersection of a bounded set and any other set is a bounded set. So long as one of the sets defining the intersection is bounded, the resulting set is bounded.

Instance-Of: Sentence

Defining-Axiom:

'(=> (And (Bounded ?U) (Set ?S)) (Bounded (Intersection ?U ?S)))

Notes:

• Source: KIF Version 3.0 Specification