Slot: transitive
If s is transitive, and i.s=z, and s.s=j, then i.s=j
URI: linkml:transitive Alias: transitive
Inheritance
- relational_logical_characteristic
- transitive
Applicable Classes
| Name | Description | Modifies Slot |
|---|---|---|
| SlotDefinition | an element that describes how instances are related to other instances | no |
Properties
- Range: Boolean
Identifier and Mapping Information
Schema Source
- from schema: https://w3id.org/linkml/meta
Mappings
| Mapping Type | Mapped Value |
|---|---|
| self | linkml:transitive |
| native | linkml:transitive |
| close | owl:TransitiveProperty |
LinkML Source
name: transitive
description: If s is transitive, and i.s=z, and s.s=j, then i.s=j
in_subset:
- SpecificationSubset
from_schema: https://w3id.org/linkml/meta
close_mappings:
- owl:TransitiveProperty
rank: 1000
is_a: relational_logical_characteristic
domain: slot_definition
alias: transitive
domain_of:
- slot_definition
range: boolean