naming

Naming is a specific kind of labeling: it assigns a persistent identifier (a name) to an entity, which is precisely the function of labeling. 'Naming is a specific kind of labeling' — the specific (naming) points at the general (labeling), per Law 9.

Labeling requires naming — you cannot label a thing without first having a name for it. Naming provides the token; labeling applies that token to classify. The dependency is present-tense and constitutive.

Eponym is a specific kind of naming practice — a pattern where names derive from a person, place, or thing (e.g. Prometheus → promethium). The filer pins 'naming' as the human practice of assigning names. Removal test: without naming, eponyms have no operation at all. INSTANCE_OF: specific→general; a competent speaker would say 'an eponym is a type of naming.'

Abbreviation is a specific kind of naming — a shortened form substituting for a full name/term. Naming is the general category of assigning or using labels/words to refer to things. Law 9: 'X is a specific kind of Y.' Analogous to eponym INSTANCE_OF naming (already accepted).

A toponym (a place name) derives from the practice of naming, which existed first and fed into the concept of toponyms. Which-came-first test: naming predates named places as formal constructs. Direction: toponym→naming.

terminology DERIVED_FROM naming: naming existed first and fed into terminology. Naming is the basic act of assigning labels; terminology is the structured system of terms within a domain. Which came first? Naming predates terminology. Terminology builds upon the practice of naming.

Which-came-first test: naming (the practice of giving labels to things) predates onomastics (the systematic study of names, etymology, and toponymy) by millennia. Naming as a human practice is the historical source from which onomastics, its study, was derived.

Tagging is the practice of attaching identifying labels to items. It fundamentally requires naming — a tag IS a name applied to identify something. Remove naming and tagging stops operating: there is no mechanism to create identifying labels. The removal test passes constitutively.