# Slot: unionEquivalentToExpression


_if present, this class expression is equivalent ot the (disjoint) union of the classIds and classExpressions._





URI: [obographs:unionEquivalentToExpression](https://github.com/geneontology/obographs/unionEquivalentToExpression)



<!-- no inheritance hierarchy -->





## Applicable Classes

| Name | Description | Modifies Slot |
| --- | --- | --- |
| [DisjointClassExpressionsAxiom](DisjointClassExpressionsAxiom.md) | An axiom that defines a set of classes or class expressions as being mutually... |  no  |







## Properties

* Range: [ExistentialRestrictionExpression](ExistentialRestrictionExpression.md)





## Identifier and Mapping Information







### Schema Source


* from schema: https://github.com/geneontology/obographs




## Mappings

| Mapping Type | Mapped Value |
| ---  | ---  |
| self | obographs:unionEquivalentToExpression |
| native | obographs:unionEquivalentToExpression |




## LinkML Source

<details>
```yaml
name: unionEquivalentToExpression
description: if present, this class expression is equivalent ot the (disjoint) union
  of the classIds and classExpressions.
from_schema: https://github.com/geneontology/obographs
rank: 1000
alias: unionEquivalentToExpression
owner: DisjointClassExpressionsAxiom
domain_of:
- DisjointClassExpressionsAxiom
range: ExistentialRestrictionExpression

```
</details>