Slot: transitive
If s is transitive, and i.s=z, and s.s=j, then i.s=j
URI: linkml:transitive
Alias: transitive
Inheritance
Applicable Classes
| Name |
Description |
Modifies Slot |
| SlotDefinition |
an element that describes how instances are related to other instances |
no |
Properties
Type and Range
Cardinality and Requirements
In Subsets
Schema Source
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