fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 51735–51741

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 07:42:37 UTC · snapshot created 2026-10-03 07:43:27 UTC · last check 2026-10-03 08:00:10 UTC

C.3.1:14 - Relations

  • Specializes: A.6.REL for U.SubkindOf: exact ordered kind participants, criterion-entailment or exhaustive closed-domain obtaining, applicability, lightweight occurrence use, and participant-determined identity; schemes and declaration editions qualify interpretation and assertion rather than occurrence identity.
  • Builds on: C.3, A.6.0 declaration identity, C.2.1 episteme and assertion identity, A.2.6/USM context-slice and scope discipline, F-G-R, and C.2.3 formality.
  • Coordinates with: C.3.2 judgments and extensions, C.3.3 correspondence between independently identified distinct kinds, A.2 when one local kind is a system-role kind, A.6.5 declaration-slot uses that consume an already obtaining subkind relation, C.29 representations, E.24.UK durable U-kind admission, and A.8, A.11, F.8, and F.5 when public kind governance is current.
  • Other governing patterns: Use C.2.1 for subkind-assertion epistemes, whether affirmative, negative, or unresolved; candidate features, classification assertions, kind declarations, context bridges, and public naming decisions retain their own governing patterns.