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
Inheritance
- transitive_form_of
Applicable Classes
| Name | Description | Modifies Slot |
|---|---|---|
| SlotDefinition | an element that describes how instances are related to other instances | no |
Properties
- Range: SlotDefinition
Comments
- Example: ancestor_of is the transitive_form_of parent_of
Identifier and Mapping Information
Schema Source
- from schema: https://w3id.org/linkml/meta
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