- 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
Sets are mutually-disjoint if and only if there is no object that
is a member of all of the sets.
Equivalence Axioms for Mutually-Disjoint:
(<=> (Mutually-Disjoint @Sets) (Empty (Intersection @Sets)))
Axioms for Mutually-Disjoint: