Function Intersection

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

Instance-Of@Frame-Ontology: Function@Ol-User%Kif-Relations, Relation@Ol-User%Kif-Relations, Set

Range@Frame-Ontology: Set

Documentation@Ol%Frame-Ontology:

NIL

Notes:

• Source: KIF Version 3.0 Specification

Axioms for Intersection:

(Undefined@Ol-User%Kif-Extensions (Arity@Frame-Ontology Intersection))

Implication Axioms mentioning Intersection:

(=> (= (Intersection @Sets) ?Set)
    (=> (Item@Ol-User%Kif-Lists ?S (Listof @Sets)) (Set ?S)))

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

Equivalence Axioms mentioning Intersection:

(<=> (Disjoint ?S1 ?S2) (Empty (Intersection ?S1 ?S2)))

(<=> (Mutually-Disjoint @Sets) (Empty (Intersection @Sets)))