Relation Mutually-Disjoint

• 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: Relation@Ol-User%Kif-Relations, Set

Documentation@Ol%Frame-Ontology:

Sets are mutually-disjoint if and only if there is no object that is a member of all of the sets.

Notes:

• Source: KIF Version 3.0 Specification

Equivalence Axioms for Mutually-Disjoint:

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

Axioms for Mutually-Disjoint:

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