Located-In Relation¶
Core Idea¶
One entity is situated within the region of another with four commitments — a locatum, a location, an inclusion region, and a relation-time — but not as a part: the located thing need not be constitutive of the location, and the relation is always indexed to a time.
How would you explain it like I'm…
Cat in the Box
When you say the cat is in the box, you mean the cat's spot is inside the box's space, even though the cat is not a piece of the box and can climb out later. Located-In Relation is just saying where something is by telling which thing's space it sits inside right now.
Inside, Not Part Of
A Located-In Relation says one thing is sitting inside the region of another thing, like a person in a room or a toy in a drawer. It is not the same as being a part of it: a splinter in your finger is inside your finger but is not a part of you. It is also more than just being next to something, because you can be beside a room without being inside it. And it is not forever: the person walks out of the room later, so this relation always comes with a time when it is true. Four things matter: the thing being located, the thing it is inside, the exact region it sits in, and the time.
Where-It-Sits, For Now
A Located-In Relation says one entity is situated within the region of another: an organ within a body cavity, a person within a room, a subsidiary within a jurisdiction, a variable within a lexical scope. It is not parthood, since the located thing need not be constitutive of the location (a foreign body in tissue is located in it but is no part of it), and it is not mere adjacency, since something can border a region without being inside it. It is the more general claim that this thing's place is within that thing's region, where the region may be spatial, contextual, organizational, jurisdictional, or scoping. Four commitments fix it: a locatum (the thing being located), a location (whose region contains it), an inclusion region (the specific region it sits in), and a relation-time (the interval over which it holds). The time is essential and easily forgotten, because located-in is not eternal: the person leaves the room, the variable falls out of scope. Keeping it distinct from parthood, strict containment, and adjacency matters, since each has different inference rules and reasoning breaks when they are conflated.
A located-in relation says that one entity is situated within the region of another: an organ within a body cavity, a component within a subassembly, a person within a room, a subsidiary within a jurisdiction, a variable within a lexical scope. The relation is not parthood (the located thing need not be constitutive of the location, as a foreign body within a tissue is located in it but is no part of it) and it is not mere adjacency (something can border a region without being inside it). It is the more general claim that this thing's place is within that thing's region, where the region may be spatial, contextual, organizational, jurisdictional, or scoping. The structural commitments are four: a locatum, the entity being located; a location, the entity whose region contains it; an inclusion region, the specific region of the location within which the locatum sits; and a relation-time, the interval over which the relation holds. The last is essential and easily forgotten: located-in is not eternal (the person leaves the room, the subsidiary re-incorporates, the variable falls out of scope), so the relation is always indexed to a time. What makes this a distinct relational primitive rather than a loose sense of in is the explicit separation from its mereotopological neighbors. Parthood, strict containment, located-in, and adjacency are four different relations with four different inference rules, and reasoning breaks when they are conflated. Located-in is precisely the inside-of relation shorn of any claim that the locatum is part of, or permanently enclosed by, the location, which is why it can hold transiently and asymmetrically.
Broad Use¶
- Anatomy: organs in cavities, cells in tissues, pathogens in host tissues, formally distinguished from parthood.
- Engineering: components in subassemblies — removable, replaceable, transferable, not permanent parts.
- Geography: settlements in countries, properties in jurisdictions, with within and contains as first-class predicates.
- Law: subsidiaries in jurisdictions, assets in trusts, with tax and governing-law consequences tied to the relation-time.
- Computing: variables in scopes, processes in containers, files in directories, rows in partitions.
- Social settings: people in conversations, meetings, and contexts, governing who can access or affect what.
Clarity¶
The pattern is sharp at its operational test — for a locatum and putative location at a time, is the locatum within the location's region? — so loose associations ("likes the venue," "trades with the jurisdiction") that fail inclusion do not fire the entailments.
Manages Complexity¶
Vast structural reasoning collapses into location lookups: "where is it?" becomes a single query whose answer determines tax treatment, signal diffusion, variable visibility, or access rights, computed once rather than re-derived.
Abstract Reasoning¶
Recognizing the relation lets a reasoner ask, of any "in" claim, which of four mereotopological relations — parthood, strict containment, located-in, adjacency — is meant, and apply only the inferences that one licenses, blocking parthood's transitivity and permanence from leaking in.
Knowledge Transfer¶
- Law to software: demanding a relation-time for corporate domicile is exactly the tool that avoids the stale-location bug in closure-capture analysis.
- Anatomy to pharmacology: a therapeutic agent located in but not part of a target acts where it sits and clears when the relation ceases.
- Engineering to organizations: the non-parthood of a component in an assembly carries intact to a subsidiary in a jurisdiction.
Example¶
A gallstone located in the gallbladder: it sits within the organ's lumen for an interval but is no part of it, so one may not infer it is part of the digestive system even though the gallbladder is.
Relationships to Other Primes¶
Parents (1) — more general patterns this builds on
- Located-In Relation is a kind of Relation — The file: located_in IS a relation but the SPECIFIC mereotopological within-a-region-at-a-time relation with its own inference rules (no transitivity into parthood, time-indexed, non-constitutive) the generic relation lacks.
Path to root: Located-In Relation → Relation
Not to Be Confused With¶
- Located-In Relation is not a bare Relation because the former carries a specific inference profile — within-a-region, time-indexed, non-constitutive — whereas a generic relation imposes no constraints on transitivity, time, or constitution.
- Located-In Relation is not Parthood (Composition) because the locatum is within the location's region without being constitutive of it, whereas parthood is transitive, permanent constitutive belonging.
- Located-In Relation is not strict Containment because the former requires only situation within a region and permits multiple simultaneous inclusions, whereas strict containment is crisp single enclosure.