Quality inherence¶

Refuse to let a property exist on its own — bind every attribute to a bearer, a context, and the inherence relation that ties them, so a value with no namable owner is a category error, not a discovery.

Core Idea¶

Quality inherence is the ontological commitment, foundational to upper-ontology frameworks such as the Basic Formal Ontology (BFO), that a property — a mass, a color, a charge, a temperature, a credit score — does not and cannot exist as a free-standing particular: it exists only as a feature of some bearer, and its identity-conditions are tied to that bearer's identity. A property without a bearer is not merely undiscovered; it is a category error, a kind-token that the ontology refuses to instantiate.

The structural commitment this imposes is precise and has a characteristic grammatical form. Every property-claim in an ontology that respects quality inherence binds three things together: the bearer entity, which has its own independent identity conditions; the quality itself, which depends existentially on the bearer (BFO calls this the inheres_in relation); and a context — typically a time, a place, and where relevant a comparison class — that qualifies the binding. The property's manifestation, whether directly measurable or inferable, is always a manifestation of that binding, not a free-floating value. On the trope-theoretic reading, two bearers with the same property value possess numerically distinct qualities — not a single shared quality instantiated twice. On the universals reading, the quality-type may be shared, but the quality-token is still borne and cannot be extracted from its bearer and reassigned. Either way, the grammar of attribution is the same: bearer, inherence relation, quality, context.

What the commitment blocks is a recognizable family of modeling errors: positing a color without a colored thing, a temperature that belongs to no system or region, a credit score that floats free of any borrower, a phonological feature that is not a feature of any segment. The corrective move in each case is the same — name the bearer. In BFO this is enforced at the ontological level by the bfo:Quality class and the bfo:inheres_in relation; in conceptual data modeling (UML, entity-relation, DOLCE) it appears as the rule that attributes are always attributes-of-an-entity; in software type systems it is enforced by records and objects, whose fields lose their identity when detached from the instance they belong to.

The commitment is not a claim about which properties are essential versus accidental to a bearer, nor a claim that properties are causally produced by or mind-dependent on their bearers, nor a statement about whether properties persist through change. It is the more austere, prior claim that the mode of existence of a property is inherently dependent: a property is not the kind of thing that can exist alone, and any model that represents it as if it could has made a type-level mistake about what properties are.

Structural Signature¶

Sig role-phrases:

the bearer entity — an independent particular with its own identity conditions, the thing a property belongs to
the quality — a property (mass, color, charge, temperature, credit score) that depends existentially on the bearer
the inherence relation — the special-status binary tie (bfo:inheres_in) binding quality to bearer, fixing the property's dependent mode of existence
the qualifying context — the time, place, and where relevant comparison class that completes the binding
the manifestation — the measured or inferred value standing in for the binding, never a free-floating quantity
the grammatical constraint — the rule that blocks instantiating any property-token without a namable bearer
the category-error diagnostic — a posited quality with an empty inheres_in slot is a type error in the model, not an undiscovered particular
the bind-to-repair move — name the bearer and reattach through the inherence relation, making ill-defined operations on the floating value well-defined
the change-as-bearer-event reading — a changed value is the bearer losing one quality-token and gaining another, never a single quality migrating in place
the mode-of-existence limitation — the commitment is silent on causal dependence, essential-versus-accidental status, and persistence; the trope/universal dispute and BFO class apparatus are downstream domain cargo

What It Is Not¶

Not a free-standing value. Quality inherence blocks the slide from a property value to a property that has that value — as though "38.7°C," "AA-rated," or "/+voice/" were itself a thing one could store, transfer, or quantify over. The value is a manifestation standing in for a binding (bearer + quality + context), not a particular in its own right; a posited quality with no namable bearer is a category error, not an undiscovered entity.
Not causal dependence. The commitment fixes only the mode of existence of a property — that it cannot stand alone — and says nothing about whether the bearer produces or gives rise to the quality. A quality inheres in its bearer whether or not the bearer caused it; reading inherence as a causal claim imports a downstream question the commitment is silent on.
Not the essential/accidental distinction. Quality inherence is prior to whether a bearer must have a property. It establishes that properties are borne at all; the essential-versus-accidental partition operates only among qualities already taken to be borne. Mistaking inherence for essentialism collapses a claim about how properties exist into a claim about which ones a bearer cannot lose.
Not a claim about persistence through change. Whether a quality survives a change is downstream of inherence, not part of it. The commitment reads a changed value as the bearer losing one quality-token and gaining another, never as a single quality migrating in place — but it does not by itself say which properties endure; persistence is a separate question layered on top.
Not mind-dependence. Inherence does not assert that properties are observer-relative or exist only as perceived. A temperature inheres in a region whether or not anyone measures it; the commitment is about existential dependence on a bearer, not on a mind, and conflating the two reads an ontological claim as an epistemic or idealist one.
Not the trope/universal dispute. Whether two same-valued qualities are numerically one shared quality or two distinct tokens is a question about quality-tokens that are borne on either reading — downstream of inherence and silent within it. The commitment holds identically under both the trope and the universals reading; treating the dispute as a challenge to inherence mislocates a downstream controversy as a threat to the prior claim.

Scope of Application¶

Quality inherence lives within upper ontology and formal modeling — the frameworks where the bearer–quality–context–manifestation grammar and the inheres_in relation are explicit machinery that refuses to instantiate a free-standing property; its reach is within that formal-modeling substrate (the physics, finance, and linguistics recognitions — a temperature of a region, a score of a borrower, a feature of a segment — are genuine co-instances of the bare metaphysical commitment carried by the parent primes relation and essentialism, which honor it in their own terms without this BFO/DOLCE class apparatus).

Basic Formal Ontology (BFO) — the home: the bfo:Quality class and the bfo:inheres_in relation enforce at the ontological level that a quality depends existentially on a bearer with independent identity conditions.
Foundational ontologies (DOLCE, UFO) — DOLCE qualities and UFO modes/qualities encode the same dependent-property commitment with their own continuant/occurrent typing.
Conceptual data modeling (UML, entity-relation) — the rule that attributes are always attributes-of-an-entity, blocking a Color modeled without a thing that has it.
Software type systems — records and objects whose fields lose their identity when detached from the instance they belong to, the inherence grammar enforced by the type discipline.

Clarity¶

Naming quality inherence makes legible a confusion that otherwise hides inside ordinary attribute-talk: the slide from a property value to a property that has that value, as though "38.7°C" or "AA-rated" or "/+voice/" were itself a thing one could store, transfer, or quantify over. The commitment forces a clean separation the literature otherwise blurs — between the bearer (an independent particular with its own identity conditions), the quality (existentially dependent, identity-tied to that bearer), and the manifestation (a measured or inferred value standing in for the binding). A modeler who internalizes this stops asking "what is the temperature?" and starts asking the sharper, ontologically answerable question "whose temperature, when, under what comparison class?" — replacing a free-floating value with a complete inheres_in triple.

The distinction it sharpens hardest is between existential dependence and the three claims it is forever mistaken for: causal dependence (does the bearer produce the quality?), essential-versus-accidental status (must the bearer have it?), and persistence-through-change (does the quality survive?). Quality inherence is prior to all three and silent on each — it fixes only the mode of existence, that a property is not the kind of thing that can stand alone. Holding that line lets an upper-ontology framework treat property change as a bearer losing a quality rather than a quality relocating, and lets the trope/universal dispute (are two same-valued qualities numerically one or two?) be recognized as a downstream question about quality-tokens that are borne either way — not a challenge to the inherence commitment itself. The practitioner's gain is a diagnostic: any posited quality with no namable bearer is not an undiscovered particular but a category error in the model.

Manages Complexity¶

An upper ontology must accommodate an open-ended variety of properties — masses, colors, charges, temperatures, phonological features, credit scores — each with its own measurement apparatus, value range, and disciplinary baggage, and a naive framework would owe a separate account of how each one exists and how it attaches to the world. Quality inherence collapses that catalog to a single fixed grammar: every property whatsoever resolves into the same small set of slots — a bearer with independent identity conditions, a quality that inheres_in it, a context (time, place, comparison class), and a manifestation standing in for the binding. The modeler stops reasoning case by case about what a temperature is versus what a credit score is, and instead instantiates one triple, asking only "whose, when, under what comparison class?" Two consequences that would otherwise need bespoke handling fall out for free from the same structure: property change is read uniformly as a bearer losing or gaining a quality rather than a quality migrating, and the trope/universal question is quarantined as a downstream choice about quality-tokens that are borne on either reading — so it never has to be re-litigated property by property. The high-dimensional problem "how does each kind of property exist and attach?" reduces to the low-dimensional one of filling a fixed inherence schema, with mis-modeling reduced to a single diagnostic: a posited quality with no namable bearer is a category error, not an undiscovered particular.

Abstract Reasoning¶

Quality inherence licenses a set of inferences that turn the fixed inherence grammar into working ontological moves.

Diagnostic (detect the unbound quality). Confront any property-claim and ask the locating question — whose, when, under what comparison class? If no bearer can be named, infer that the model has committed a category error, not discovered a free-standing particular. The surface signature is a quality-token that appears as the subject of its own assertions ("the temperature is rising," "the score was revoked") with the inheres_in slot left empty; reason from that empty slot to a malformed class declaration upstream — a bfo:Quality modeled as though it were an independent continuant, an attribute floated out of its entity in a UML diagram, a record field hoisted into a global. The unbound quality is the observable; a mis-typed entity in the schema is the inferred hidden cause.

Interventionist (repair by binding). The single corrective is always available and its effect is predictable: name the bearer and reattach the quality through the inherence relation, supplying the qualifying context. The predicted result is that operations which were ill-defined on the floating value become well-defined on the binding — the quality can now be measured, compared, or revised because there is a particular whose quality it is. Conversely, the move tells you what cannot be done: a borne quality cannot be extracted from its bearer and reassigned to another (only a like-typed quality can be predicated of the second bearer), so any modeled "transfer of a property" predicts a downstream identity failure, and the fix is to re-express the transfer as one bearer losing a quality while another gains a numerically distinct one.

Reading property change. Because the quality's identity is tied to the bearer's, a change in a measured value is inferred uniformly as the bearer losing one quality and acquiring another, never as a single quality migrating or mutating in place. This converts the question "did this property persist through the change?" into a tractable bearer-level question — did the same particular continue to bear a quality of this type? — and predicts that two snapshots with different manifestations are two distinct quality-tokens of one persisting bearer, not one travelling token.

Boundary-drawing (inherence versus its neighbors). The commitment marks exactly where its own jurisdiction ends. It fixes the mode of existence of a property and is silent on three adjacent questions, so the practitioner reasons explicitly about which branch a puzzle belongs to: whether the bearer produces the quality is causal dependence, not inherence; whether the bearer must have it is the essential/accidental partition, which operates only among qualities already taken to be borne; whether the quality survives a change is persistence, downstream of the change-reading above. The trope/universal dispute is likewise placed past the boundary — whether two same-valued qualities are numerically one token or two is a question about quality-tokens that are borne on either reading, so it can be deferred without reopening the inherence commitment. Drawing these lines lets a modeler localize a disagreement to the right layer instead of mistaking a downstream choice for a challenge to inherence itself.

Knowledge Transfer¶

Within upper ontology and formal modeling the commitment transfers as mechanism, with its inherence grammar and diagnostics intact. The bearer–quality–context–manifestation schema, the inheres_in relation, the locating question ("whose, when, under what comparison class?"), and the category-error diagnostic (a quality with no namable bearer is a type error, not an undiscovered particular) carry across the substrate family of formal frameworks without translation: BFO's bfo:Quality / bfo:inheres_in (the home case), DOLCE qualities and UFO modes/qualities, conceptual data modeling (UML, entity-relation: attributes are always attributes-of-an-entity), and software type systems (records and objects, whose fields lose identity when detached from the instance). A modeler who internalizes the discipline in BFO reads the same diagnostics (an attribute floated out of its entity, a record field hoisted to a global, a quality-token appearing as the subject of its own assertions) and applies the same repair (name the bearer, reattach through the inherence relation, supply the context) in each. These are co-instances of one ontological discipline, not analogies — each refuses to instantiate a free-standing property and binds it to a bearer with independent identity conditions.

Beyond formal-modeling frameworks the characterization is subtler than the cataloging cases, because quality inherence is a metaphysical commitment about how properties exist, not a piece of domain machinery — so its cross-domain reach is best read as case (B) with an unusually thin home-bound residue. The general pattern that genuinely travels is the bare grammatical-and-metaphysical claim that properties belong to things — that an attribute is existentially dependent on a bearer and cannot stand alone — which is the standard subject-predicate grammar the catalog already carries through the parent primes relation (the inherence tie is a special-status binary relation), essentialism (which partitions properties among those already taken to be borne), role, and signifier_signified_duality. On this reading the recognitions the discipline invites across domains are not metaphors but genuine co-instances of the same metaphysical commitment: a temperature really is a temperature of a region or system, a credit score really is of a borrower, a phonological feature really is of a segment, a field really is of an instance — in each, the property is borne, and the lesson (name the bearer; do not reify the value) is the same lesson, because the inherence structure obtains there literally, not by analogy. So when the commitment is needed cross-domain, what should be carried is the general bearer-property grammar (the relation/essentialism parents), which travels because it is substrate-neutral to begin with. What does not travel is the home-bound cargo: the BFO/DOLCE vocabulary and class apparatus (bfo:Quality, inheres_in, continuant/occurrent typing), the trope-versus-universal dispute (whether two same-valued qualities are numerically one token or two — an upper-ontology controversy that is downstream of, and silent within, the bare commitment), and the formal-ontology enforcement layer. Importing "quality inherence" with its BFO scaffolding into physics or finance would dress a commitment those fields already honor in their own terms in alien upper-ontology jargon — borrowing the framework's vocabulary while the content was never absent; the portable content is the prior, neutral grammar that the parent primes supply, and the BFO apparatus is the domain-specific formalization of it, which need not travel (see Structural Core vs. Domain Accent).

Examples¶

Canonical¶

In the Basic Formal Ontology (BFO), the maintained upper ontology underlying the OBO Foundry biomedical ontologies, a patient's body temperature of 38.7°C is not modeled as a free-standing datum. BFO declares a class bfo:Quality, and any instance of it — this specific fever — is asserted to inheres_in an independent continuant, the patient's body (itself a material entity with its own identity conditions). The value 38.7°C is recorded as the measurement datum of that borne quality at a time, not as an entity one could store detached from the patient. Attempting to model "a temperature" with no bearer is rejected at the class level: bfo:Quality is defined as a specifically dependent continuant, so instantiating one without an inheres_in filler is malformed.

Mapped back: The patient's body is the bearer entity with independent identity conditions; the fever is the quality depending existentially on it; bfo:inheres_in is the inherence relation; the measurement time supplies the qualifying context; and 38.7°C is the manifestation standing in for the binding. BFO's refusal to instantiate a bearerless quality is the grammatical constraint and the category-error diagnostic enforced at the ontological level.

Applied / In Practice¶

In consumer-credit modeling, a FICO score such as 720 is meaningless as a floating number: it is always the score of a specified borrower, computed from that borrower's own credit file, as of a stated date, relative to a scoring model version. Regulators and dispute processes make the inherence explicit — under the U.S. Fair Credit Reporting Act a consumer can demand correction of their file, and a score is reissued for that person. When a data pipeline mistakenly attaches one borrower's score to another identity (a merged-file error), the failure is not a wrong number but a mis-attributed binding: the quality was reattached to a bearer whose file did not generate it.

Mapped back: The borrower is the bearer entity; the creditworthiness is the quality borne by that person; the file-plus-date-plus-model-version is the qualifying context; and 720 is the manifestation. A merged-file error is exactly the category-error diagnostic — a quality with the wrong inheres_in filler — and the FCRA correction is the bind-to-repair move: reattach the score to the borrower whose file actually bears it.

Structural Tensions¶

T1: No free-standing values versus the working utility of detached data (a principle science routinely suspends). The commitment's whole force is refusing to let a value exist without a bearer — "38.7°C" alone is a category error, not a datum. But mature practice constantly manipulates values as if they were free-standing: statistics operates on columns of numbers detached from their bearers, physics writes field values over space with no particular that "has" them, and data pipelines pass scores between systems as bare integers. These are not mistakes; they are productive abstractions that the inherence discipline would flag as malformed. The tension is that the ontological austerity (a property is not the kind of thing that can stand alone) is in standing conflict with the epistemic and computational convenience of treating manifestations as first-class objects. Insisting on the full triple everywhere is ontologically clean but would paralyze the very quantitative work the ontology is meant to underwrite. Diagnostic: Is a detached value here a genuine modeling error (a bearerless quality wrongly instantiated) or a legitimate abstraction that has provisionally suspended the bearer for computational purposes?

T2: Prior and austere versus silent and thin (jurisdiction bought by saying almost nothing). The commitment earns its rigor precisely by being prior to and silent on causal dependence, essential/accidental status, persistence, mind-dependence, and the trope/universal dispute — it fixes only the mode of existence. That austerity is what makes it un-controversial and universally applicable, but it is also what makes it nearly contentless: once you have named the bearer, the commitment has said everything it has to say, and every question a modeler actually cares about (which properties matter, whether they persist, whether they are causally real) lies past its boundary. The tension is that the discipline's clarity and its thinness are the same feature — it draws sharp lines around a claim so minimal that honoring it fully leaves almost all the ontological work still to do. Its strength as a boundary-drawer is its weakness as a contributor. Diagnostic: Is the problem at hand actually the mode-of-existence question inherence settles, or one of the richer downstream questions (causation, essence, persistence) it explicitly refuses to answer?

T3: Bind-to-repair versus the reification the fix can smuggle back in (naming a bearer is not neutral). The single corrective — name the bearer, reattach through inherence — is genuinely powerful, but it can launder a modeling problem rather than solve it. Sometimes there is no natural bearer, and forcing one invents a spurious entity (a "system" or "context object" conjured only to host an orphan quality), which satisfies the grammar while corrupting the ontology with a fictional continuant. The discipline that forbids bearerless qualities can thus pressure a modeler into manufacturing bearers, trading a visible category error (floating value) for an invisible one (fabricated entity). The tension is that the repair move presupposes a real bearer is available to name, and where it is not, the commitment's own strictness incentivizes the wrong fix. Diagnostic: When binding this quality, is the named bearer an independently-identifiable particular the world actually contains, or an entity conjured solely to host a value that has no genuine owner?

T4: Change-as-bearer-event versus persisting-quality intuitions (a uniform reading that can distort). Reading every value change as the bearer losing one quality-token and gaining a numerically distinct one is elegant and uniform — it dissolves "did the property migrate?" into a tractable bearer-level question. But this trope-flavored reading sits uneasily with strong intuitions and some scientific practice in which a single quantity is tracked as it varies continuously (a temperature that rises, a charge that is conserved, an amount that is transferred). Treating a continuously-varying quantity as a succession of unrelated distinct tokens can lose the very continuity the science is modeling, and the commitment's claim to be neutral between trope and universals readings frays here, because the change-reading it recommends leans trope-ward. The tension is that a uniform bearer-event reading buys tractability at the cost of the persisting-magnitude picture some domains genuinely need. Diagnostic: Does treating this change as one bearer losing a token and gaining another preserve what matters, or is a continuous, conserved, or transferred single quantity being fragmented into unrelated tokens?

T5: Autonomy versus reduction (a BFO commitment or an instance of the bearer-property grammar carried by relation and essentialism). "Quality inherence" is a specific upper-ontology construct with home-bound cargo — the BFO/DOLCE class apparatus (bfo:Quality, inheres_in, continuant/occurrent typing), the trope-versus-universal dispute, the formal enforcement layer — and within formal modeling it travels intact as mechanism across BFO, DOLCE/UFO, UML/ER attributes, and record/object type systems, which are co-instances. But its portable core is unusually thin and unusually literal: the bare metaphysical claim that properties belong to things, carried by the parent primes relation (the inherence tie as a special-status binary) and essentialism (which partitions properties already taken to be borne), atop subject-predicate grammar. Because this is a metaphysical commitment rather than domain machinery, the cross-domain "recognitions" are genuine co-instances, not analogies — a temperature really is of a region, a score really is of a borrower — so the content was never absent in physics or finance; only the BFO vocabulary would be imported. The tension is that this entry, more than the cataloging cases, barely has a proprietary structure to defend: what travels is the neutral parent grammar, and the named apparatus is just its formal-ontology dress. Diagnostic: Resolve toward the parents (relation, essentialism, the bearer-property grammar) whenever the lesson is needed outside formal ontology — the fields already honor it in their own terms; toward the BFO/DOLCE class apparatus only when building or auditing an actual formal ontology that needs the explicit inheres_in machinery.

Structural–Framed Character¶

Quality inherence sits at the mixed-structural position on the structural–framed spectrum — among the most structural entries a domain-specific abstraction can be, in the company of Big O and Benford, and for the same reason: its content is a substrate-neutral truth, and it earns domain-specific standing only as the named formal-ontology apparatus wrapped around that truth. Four of the five criteria read strongly structural. On evaluative_weight it is neutral: the "category-error" diagnostic is a well-formedness/type-correctness judgment, not a moral verdict — a bearerless quality is malformed, the way an ungrammatical sentence is, and the commitment praises and convicts nothing. On human_practice_bound its content is emphatically observer-independent: the entry insists inherence is not mind-dependence — a temperature inheres in a region whether or not anyone measures or models it — so the metaphysical claim (properties belong to bearers) obtains in mind-independent reality, not in a practice that dissolves when removed. On institutional_origin the content is likewise none: "properties belong to things" is a foundational metaphysical fact atop subject-predicate grammar, not an artifact of a survey or agency (BFO formalizes it; it did not invent it). And most strikingly, on import_vs_recognize the cross-domain uses are, in the entry's own words, genuine co-instances, not analogies — "the inherence structure obtains there literally": a score really is of a borrower, a field really is of an instance, so the transfer is literal recognition rather than borrowed shape, and vocab_travels correspondingly succeeds at the level of the bare bearer-property grammar, which is substrate-neutral to begin with.

What keeps it domain-specific — and off the structural pole a prime would occupy — is that "quality inherence," as the named entity, is not the substrate-neutral metaphysical truth itself but its upper-ontology formalization: the BFO/DOLCE class apparatus (bfo:Quality, the inheres_in relation, continuant/occurrent typing), the formal enforcement layer, and the trope-versus-universal controversy that lives downstream of the bare commitment. The portable structural skeleton is the bearer-property grammar — an attribute is existentially dependent on a bearer and cannot stand alone — which is exactly what quality inherence instantiates from its umbrella primes (relation, the inherence tie as a special-status binary; and essentialism, which partitions properties already taken to be borne). That grammar is what travels, literally and across every substrate, because it is neutral to begin with; the named construct's distinctive content — the bfo:Quality/inheres_in machinery, the continuant/occurrent typing, the trope/universal dispute — is the formal-ontology dress that stays home. Indeed this entry, more than any cataloging case, "barely has a proprietary structure to defend": its cross-domain reach belongs wholly to the neutral parents, and the fields it recognizes already honor the commitment in their own terms. Its character: a substrate-neutral, evaluatively neutral, observer-independent metaphysical truth — structural to its core — earning domain-specific standing only as the named BFO/DOLCE formalization it wraps around the bearer-property grammar its relation and essentialism parents already carry.

Structural Core vs. Domain Accent¶

This section decides why quality inherence is a domain-specific abstraction and not a prime, and it carries the case for its domain-specificity — there is no separate section for that. It is the hardest case in the batch, because the portable core here is unusually thin and unusually literal, so the burden falls almost entirely on showing that the named construct is a formalization of a truth its parents already carry, not a distinct structure.

What is skeletal (could lift toward a cross-domain prime). Strip the upper-ontology apparatus and what survives is the bare bearer-property grammar: an attribute is existentially dependent on a bearer with its own identity conditions and cannot stand alone, so the complete unit of attribution is bearer + inherence-tie + quality + context, never a free-floating value. The pieces that travel are abstract — an independent particular, a dependent feature, a special-status binary tie binding the second to the first, and a qualifying context — and they are maximally substrate-portable, because this is just subject-predicate grammar hardened into an ontological claim. That is exactly why the entry sources the portable content in relation (the inheres_in tie as a special-status binary relation) and essentialism (which partitions properties already taken to be borne), with role and signifier_signified_duality naming adjacent facets of the same grammar. But — and this is the entry's own sharpest point — that grammar is not distinctive to quality inherence; it is the neutral, prior truth the construct wraps, "the core it shares," and it travels literally rather than by any lifting.

What is domain-bound. What makes it quality inherence in particular is the formal-ontology dress, and only that. The bfo:Quality class and the bfo:inheres_in relation are BFO machinery; the continuant/occurrent typing is DOLCE/UFO apparatus; the class-level enforcement (instantiating a bfo:Quality with an empty inheres_in slot is malformed at declaration) is an artifact of the formal framework, not of the metaphysical claim; and the trope-versus-universal dispute (are two same-valued qualities numerically one token or two?) is an upper-ontology controversy that lives downstream of and silent within the bare commitment. The decisive test is unusually stark here: remove the BFO/DOLCE class apparatus and the enforcement layer, and what remains — "properties belong to things" — is not a diminished quality inherence but the untouched, substrate-neutral grammar the parents already carry, because the content was never absent from physics or finance in the first place; only the vocabulary would have been imported.

Why this does not clear the prime bar. A prime's vocabulary travels and its cross-domain transfer is recognition of the same mechanism, not analogy — and quality inherence's transfer is bimodal in a peculiar way that under-clears the bar precisely by over-satisfying part of it. Within formal modeling the apparatus moves intact as mechanism: the bearer–quality–context–manifestation schema, the inheres_in relation, the locating question, and the category-error diagnostic carry across BFO, DOLCE/UFO, UML/ER attributes, and record/object type systems, which are genuine co-instances of one ontological discipline. Beyond formal modeling the cross-domain uses are not analogies but literal co-instances — a temperature really is of a region, a credit score really is of a borrower, a phonological feature really is of a segment — yet that very literalness is the tell: what obtains there is the bare bearer-property grammar, not the BFO scaffolding, so importing "quality inherence" with its class apparatus into physics or finance would dress a commitment those fields already honor in alien jargon. When the metaphysical lesson — do not reify a value; name its bearer — is needed outside formal ontology, it is already carried, in fully general and substrate-neutral form, by relation and essentialism (and the subject-predicate grammar role and signifier_signified_duality also touch). The cross-domain reach belongs wholly to those neutral parents; "quality inherence," as named, is their upper-ontology formalization, and its bfo:Quality/inheres_in machinery, continuant/occurrent typing, and trope/universal dispute are the formal-ontology furniture that stays home. The entry barely has a proprietary structure to defend — which is exactly why it is a domain-specific formalization rather than a prime.

Relationships to Other Abstractions¶

Current abstraction Quality inherence Domain-specific

Parents (2) — more general patterns this builds on

Quality inherence is part of Relation Prime

Quality inherence contains the bearer-to-quality inherence relation that binds every property-token to the particular on which it existentially depends.
Quality inherence is a decomposition of Dependency Prime

Quality inherence is the upper-ontology form of existential dependency in which a property-token cannot exist without its bearer.

Hierarchy paths (2) — routes to 2 parentless roots

Quality inherence → Relation

Show alternative path (1)

Not to Be Confused With¶

Bundle theory. The metaphysical view that an object simply is a bundle or collection of its properties, with no underlying substratum to bear them. Quality inherence runs the opposite direction of dependence: properties depend existentially on a bearer that has its own independent identity conditions and is not constituted by them. Where bundle theory dissolves the bearer into a heap of qualities, inherence presupposes the bearer as prior. Tell: does the view build the thing out of its properties (bundle), or make the properties dependent on an independently-identified thing (inherence)?
Substance / bare substratum. The bearer side of the relation — the independent particular in which qualities inhere. Quality inherence is not that entity but the dependence-tie and commitment that binds qualities to it; the bearer is one relatum, inherence is the relation. Naming the substance answers "what has the property?"; inherence answers "in what mode does the property exist?" Part-vs-whole. Tell: are you picking out the thing that owns the quality (substance), or the existential-dependence relation by which the quality belongs to it (inherence)?
Predication (subject–predicate grammar). The linguistic form "S is P" — a fact about how attributions are stated. Quality inherence hardens that grammar into an ontological claim about how properties exist: the predicate's referent existentially depends on the subject's bearer and cannot stand alone. A grammatical form is neutral about metaphysics; inherence is precisely the metaphysical reading of it. Tell: is this a claim about sentence structure (predication), or about the mode of existence of the property the sentence names (inherence)?
The bfo:inheres_in relation and bfo:Quality class. The specific BFO machinery that enforces the commitment at declaration (instantiating a bfo:Quality with an empty inheres_in slot is malformed). This is one formalization of quality inherence, not the commitment itself: DOLCE qualities, UFO modes, UML attributes-of-an-entity, and record/object fields formalize the same bearer-property grammar differently. Part-vs-whole — the class apparatus is the domain accent, the commitment is what it wraps. Tell: is the claim tied to the bfo:inheres_in predicate specifically, or does it hold identically in DOLCE, UML attributes, and a language's record types?
The parent primes relation and essentialism (the umbrella it instances). The substrate-neutral bearer-property grammar — an attribute is a special-status binary tie to a bearer (relation), among properties already taken to be borne (essentialism), atop subject-predicate grammar (role, signifier_signified_duality). Quality inherence is the upper-ontology formalization of this grammar, which the parents already carry literally across physics, finance, and linguistics; the cross-domain reach belongs to them, treated more fully in the later sections. Tell: strip the bfo:Quality/inheres_in apparatus and the trope/universal dispute — what remains, "properties belong to things," is the neutral parent grammar, not quality inherence.

Neighborhood in Abstraction Space¶

Quality inherence sits in a moderately populated region (58^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Unclustered & Miscellaneous (309 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-07-12