MutuallyDisjointClass | *documentation* A Class of Classes is a MutuallyDisjointClass just in case there exists no *instance* of an *instance* of the original Class which is an *instance* of all of the instances of the original Class | |

**has axiom** (=> (*instance* ?CLASS MutuallyDisjointClass) (*equal* (*GeneralizedIntersectionFn* ?CLASS) *NullSet*))
| |

**is a kind of** Class | |

Class | **is first ***domain* of *AbstractionFn* | |

**is first ***domain* of *ComplementFn* | |

**is first ***domain* of *disjoint* | |

**is first ***domain* of *disjointDecomposition* | |

**is first ***domain* of *exhaustiveDecomposition* | |

**is first ***domain* of *GeneralizedIntersectionFn* | |

**is first ***domain* of *GeneralizedUnionFn* | |

**is first ***domain* of *IntersectionFn* | |

**is first ***domain* of *RelativeComplementFn* | |

**is first ***domain* of *subclass* | |

**is first ***domain* of *UnionFn* | |

**is second ***domain* of *closedOn* | |

**is second ***domain* of *disjoint* | |

**is second ***domain* of *equivalenceRelationOn* | |

**is second ***domain* of *instance* | |

**is second ***domain* of *IntersectionFn* | |

**is second ***domain* of *irreflexiveOn* | |

**is second ***domain* of *partialOrderingOn* | |

**is second ***domain* of *range* | |

**is second ***domain* of *rangeSubclass* | |

**is second ***domain* of *reflexiveOn* | |

**is second ***domain* of *RelativeComplementFn* | |

**is second ***domain* of *subclass* | |

**is second ***domain* of *totalOrderingOn* | |

**is second ***domain* of *trichotomizingOn* | |

**is second ***domain* of *UnionFn* | |

**is third ***domain* of *domain* | |

**is third ***domain* of *domainSubclass* | |

Abstract | **is ***disjoint* from Physical | |