Definitionv1
Typed links: Links between ideas that carry explicit
Typed links: Links between ideas that carry explicit relationship labels (such as causes, contradicts, extends, supports, exemplifies) that encode the nature and direction of the connection, making them computationally and cognitively more informative than untyped links.
Why This Is a Definition
This definition precisely establishes the semantic boundary of 'typed links' by identifying their genus (links between ideas) and differentia (explicit relationship labels that encode nature and direction). It distinguishes typed links from untyped links and specifies their informational value, making it precise enough to distinguish from related terms like 'generic links' or 'associations.'