Axiom Intersection-Axiom

• 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 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.

Notes:

• Source: KIF Version 3.0 Specification

Defining axiom of Intersection-Axiom:

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