A.6.REL:4.1.2 - Relation-kind settlement
The relation kind is a classificatory distinction over relation occurrences. Every admitted direct or derived relation kind has one direct subject settlement that states relation-participant meanings, an obtaining predicate, applicability, and an occurrence-identity rule as semantic and rule content. A derived kind additionally names its base-definition and substrate dependencies. Ordinary use may omit explicit individuation when no receiver needs it; that omission does not mean the identity rule is absent. World-side entities participate according to the settlement while retaining their own kinds.
| Canonical FPF name | What this object is | Direct relation to preserve | Naming rule | Subject pattern |
|---|---|---|---|---|
| relation kind | a classificatory distinction whose individuals are relation occurrences; E.24.UK admits a durable U-kind only when the direct relation pattern supplies the required witness, while a narrower relation distinction remains governed without automatic U.* admission | classifies relation occurrences governed by one obtaining predicate and one occurrence-identity rule | use the accepted domain relation name; a new durable Tech name follows E.24.UK admission and F.18 naming, while morphology alone establishes neither | the direct relation pattern and A.6.REL; E.24.UK when durable U-kind admission is current |
| relation-participant meaning | relation-local semantic content specifying one domain contribution to the obtaining predicate | says how one actual participant contributes to the obtaining predicate while that participant retains its intrinsic kind | use the domain meaning declared by the direct pattern, such as holder System or assigned local system-role kind in an A.2.1 direct species; keep it local to that relation kind | the direct relation pattern |
| relation obtaining predicate | truth-valued rule content over the actual participants considered under their relation-participant meanings | satisfaction of this predicate is the stated criterion for the direct relation obtaining | use the exact condition from the subject pattern, such as the predicate of one directly declared species under U.SystemRoleAssignment; notation used to express it keeps its source name; use C.29 for a declared mathematical-lens use | the direct relation pattern |
| relation occurrence-identity rule | rule content for reidentifying one occurrence and distinguishing it from another | a system applies this rule only after relevant current-case facts or constituting history satisfy the direct obtaining predicate and later work needs occurrence identity | name the exact world-side discriminator supplied by the direct relation pattern, such as participant-determined identity or maximal continuous obtaining interval | the direct relation pattern and A.6.REL |
Public name settlement. The following F.18 NameCard names the already governed root occurrence kind. It neither admits a new kind nor makes a relation obtain.
NameCard:
NameCardId: NC-U-RELATION
GovernedValueRef: U.Relation under A.6.REL
SubjectPatternLocator: A.6.REL
ReferenceScheme: FPFCoreReferenceScheme
LocalSenseRef: individuable obtaining relation occurrence whose direct pattern supplies participants, obtaining conditions, and identity
TechLabel: U.Relation
PlainLabel: relation occurrence
CandidateSet: U.Relation; U.RelationOccurrence; U.ObtainingRelation; U.IndividuatedRelation
RejectedCandidates: longer candidates expose occurrence or obtaining but lose the established root retrieval head; U.Relation remains safe only with the A.6.REL identity discipline
SelectionRationale: preserve the root name while distinguishing existence, kind admission, explicit individuation, identifier assignment, and reference use
PublicRowStatus: pending
LineageEntries: existing local U.Relation declarations narrowed to individuable obtaining occurrences
RefreshCondition: reopen if direct relation patterns cannot supply stable occurrence identity for an admitted relation kind
Use U.Relation for the admitted root kind only. A direct relation kind keeps its own governed name, participant meanings, obtaining predicate, and occurrence-identity rule.
In the world-side relation, the actual entities participate directly under the relation-participant meanings. When assertions and descriptions need typed reuse, a reusable declaration episteme declares those meanings without becoming the world-side relation.