*disjointDecomposition* | *documentation* A *disjointDecomposition* of a Class C is a set of subclasses of C that are mutually *disjoint* | |

**has axiom** (=> (*disjointDecomposition* ?CLASS1 ?CLASS2 ?CLASS3) (*and* (*subclass* ?CLASS2 ?CLASS1) (*subclass* ?CLASS3 ?CLASS1) (*disjoint* ?CLASS2 ?CLASS3)))
| |

**has axiom** (=> (*disjointDecomposition* ?CLASS1 ?CLASS2 ?CLASS3 ?CLASS4) (*and* (*subclass* ?CLASS2 ?CLASS1) (*subclass* ?CLASS3 ?CLASS1) (*subclass* ?CLASS4 ?CLASS1) (*disjoint* ?CLASS2 ?CLASS3) (*disjoint* ?CLASS3 ?CLASS4) (*disjoint* ?CLASS2 ?CLASS4)))
| |

**has axiom** (=> (*disjointDecomposition* ?CLASS1 ?CLASS2 ?CLASS3 ?CLASS4 ?CLASS5) (*and* (*subclass* ?CLASS2 ?CLASS1) (*subclass* ?CLASS3 ?CLASS1) (*subclass* ?CLASS4 ?CLASS1) (*subclass* ?CLASS5 ?CLASS1) (*disjoint* ?CLASS2 ?CLASS3) (*disjoint* ?CLASS3 ?CLASS4) (*disjoint* ?CLASS2 ?CLASS4) (*disjoint* ?CLASS5 ?CLASS4) (*disjoint* ?CLASS5 ?CLASS3) (*disjoint* ?CLASS5 ?CLASS2)))
| |

**has axiom** (forall (?INT) (*domain* *disjointDecomposition* ?INT Class))
| |

**has domain1** Class | |

**has ***relatedInternalConcept* *disjoint* | |

**has ***relatedInternalConcept* *exhaustiveDecomposition* | |

**is an ***instance* of Predicate | |

**is an ***instance* of VariableArityRelation | |

Predicate | **is first ***domain* of *singleValued* | |

Relation | **is second ***domain* of *subrelation* | |

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

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

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