Slot: bidirectional

in addition to preconditions entailing postconditions, the postconditions entail the preconditions

URI: [linkml:bidirectional](https://w3id.org/linkml/bidirectional) ## 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 | [Boolean](Boolean.md) | | Domain Of | [ClassRule](ClassRule.md) | ### Cardinality and Requirements | Property | Value | | --- | --- | ## In Subsets * [SpecificationSubset](SpecificationSubset.md) ## Aliases * iff * if and only if ## Identifier and Mapping Information ### Schema Source * from schema: https://w3id.org/linkml/meta ## Mappings | Mapping Type | Mapped Value | | --- | --- | | self | linkml:bidirectional | | native | linkml:bidirectional | ## LinkML Source

name: bidirectional
description: in addition to preconditions entailing postconditions, the postconditions
  entail the preconditions
in_subset:
- SpecificationSubset
from_schema: https://w3id.org/linkml/meta
aliases:
- iff
- if and only if
rank: 1000
domain_of:
- class_rule
range: boolean