PairwiseDisjointClass | *documentation* A Class of Classes is a PairwiseDisjointClass just in case every *instance* of the Class is either *equal* to or *disjoint* from every other *instance* of the Class | |

**has axiom** (=> (*instance* ?SUPERCLASS PairwiseDisjointClass) (forall (?CLASS1 ?CLASS2) (=> (*and* (*instance* ?CLASS1 ?SUPERCLASS) (*instance* ?CLASS2 ?SUPERCLASS)) (or (*equal* ?CLASS1 ?CLASS2) (*disjoint* ?CLASS1 ?CLASS2)))))
| |

**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 | |