Slot: bidirectional
in addition to preconditions entailing postconditions, the postconditions entail the preconditions
URI: linkml:bidirectional
Applicable Classes
Name | Description | Modifies Slot |
---|---|---|
ClassRule | A rule that applies to instances of a class | no |
Properties
- Range: Boolean
Aliases
- iff
- if and only if
Identifier and Mapping Information
Schema Source
- from schema: https://w3id.org/linkml/meta
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
alias: bidirectional
domain_of:
- class_rule
range: boolean