Slot: bidirectional
in addition to preconditions entailing postconditions, the postconditions entail the preconditions
URI: linkml:bidirectional
Alias: bidirectional
Applicable Classes
| Name |
Description |
Modifies Slot |
| ClassRule |
A rule that applies to instances of a class |
no |
Properties
Type and Range
Cardinality and Requirements
In Subsets
Aliases
Schema Source
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
alias: bidirectional
domain_of:
- class_rule
range: boolean