Slot: transitive
If s is transitive, and i.s=z, and s.s=j, then i.s=j
URI: linkml: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
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