Skip to content

Slot: transitive_form_of

If s transitive_form_of d, then (1) s holds whenever d holds (2) s is transitive (3) d holds whenever s holds and there are no intermediates, and s is not reflexive

URI: [linkml:transitive_form_of](https://w3id.org/linkml/transitive_form_of) ## Inheritance * **transitive_form_of** * [reflexive_transitive_form_of](reflexive_transitive_form_of.md) ## Applicable Classes | Name | Description | Modifies Slot | | --- | --- | --- | | [SlotDefinition](SlotDefinition.md) | an element that describes how instances are related to other instances | no | ## Properties ### Type and Range | Property | Value | | --- | --- | | Range | [SlotDefinition](SlotDefinition.md) | | Domain Of | [SlotDefinition](SlotDefinition.md) | ### Cardinality and Requirements | Property | Value | | --- | --- | ## In Subsets * [SpecificationSubset](SpecificationSubset.md) ## Comments * Example: ancestor_of is the transitive_form_of parent_of ## Identifier and Mapping Information ### Schema Source * from schema: https://w3id.org/linkml/meta ## Mappings | Mapping Type | Mapped Value | | --- | --- | | self | linkml:transitive_form_of | | native | linkml:transitive_form_of | ## LinkML Source 
name: transitive_form_of
description: If s transitive_form_of d, then (1) s holds whenever d holds (2) s is
  transitive (3) d holds whenever s holds and there are no intermediates, and s is
  not reflexive
comments:
- 'Example: ancestor_of is the transitive_form_of parent_of'
in_subset:
- SpecificationSubset
from_schema: https://w3id.org/linkml/meta
rank: 1000
domain_of:
- slot_definition
range: slot_definition