Slot: postconditions

an expression that must hold for an instance of the class, if the preconditions hold

URI: [linkml:postconditions](https://w3id.org/linkml/postconditions) ## Applicable Classes | Name | Description | Modifies Slot | | --- | --- | --- | | [ClassRule](ClassRule.md) | A rule that applies to instances of a class | no | ## Properties ### Type and Range | Property | Value | | --- | --- | | Range | [AnonymousClassExpression](AnonymousClassExpression.md) | | Domain Of | [ClassRule](ClassRule.md) | ### Cardinality and Requirements | Property | Value | | --- | --- | ## In Subsets * [SpecificationSubset](SpecificationSubset.md) ## Aliases * then * head * consequents ## See Also * [https://w3id.org/linkml/docs/specification/05validation/#rules](https://w3id.org/linkml/docs/specification/05validation/#rules) ## Identifier and Mapping Information ### Administrative Metadata **Rank:** 113 ### Schema Source * from schema: https://w3id.org/linkml/meta ## Mappings | Mapping Type | Mapped Value | | --- | --- | | self | linkml:postconditions | | native | linkml:postconditions | | close | swrl:body | ## LinkML Source

name: postconditions
description: an expression that must hold for an instance of the class, if the preconditions
  hold
in_subset:
- SpecificationSubset
from_schema: https://w3id.org/linkml/meta
see_also:
- https://w3id.org/linkml/docs/specification/05validation/#rules
aliases:
- then
- head
- consequents
close_mappings:
- swrl:body
rank: 113
domain_of:
- class_rule
range: anonymous_class_expression
inlined: true