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

Domain and Range

None → 0..1 SlotDefinition

Parents

Children

Used by

Other properties

Comments: {'Example': 'ancestor_of is the transitive_form_of parent_of'}