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 Alias: transitive_form_of

Inheritance

• transitive_form_of
  • reflexive_transitive_form_of

Applicable Classes

Name	Description	Modifies Slot
SlotDefinition	an element that describes how instances are related to other instances	no

Properties

Type and Range

Property	Value
Range	SlotDefinition
Domain Of	SlotDefinition

Cardinality and Requirements

Property	Value

In Subsets

• SpecificationSubset

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
alias: transitive_form_of
domain_of:
- slot_definition
range: slot_definition