Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 09:10:20 UTC
F.7:5 - Minimal vocabulary
Local entry — an exact LocalSenseClaim or optional F.17 SchemeSenseCell, with its source and edition and effective scheme.
Obtaining relation — a relation already supported under its direct pattern; it is not inferred from co-placement.
Direction — which participant is source and which is target when the relation is asymmetric.
Loss or limit — what the relation or receiving use does not preserve.
Receiving-use conclusion — the separate claim that judges whether and how the entries and relations may be used for one named purpose.
Contrast row — a row that teaches a difference or an unresolved comparison and expressly asserts no sameness.
Characteristic — a comparandum defined by its direct characteristic pattern; a table may display measured or target values but does not define the characteristic.