Saved Snapshots
#2098
2026-09-24 18:22:26
copyright_review
#1804
2026-09-08 15:58:52
add_generation_path_backfill
#1517
2026-09-08 12:26:49
backfill_source_tier
#1155
2026-08-07 16:45:05
odr022_canonical_names
#965
2026-07-23 20:04:35
genus_normalization_iof_dbwide
#570
2026-06-26 01:31:45
mark_exported
#289
2026-06-25 01:50:53
manual_validation
Snapshot #289 — 2026-06-25 01:50:53
manual_validation
← Back to current
Step 1 — Identity-Giving Function
Function class: —
Process class: —
Step 2 — Genus Proximus
Genus: —
BFO root: —
Step 3 — Differentia Specifica
Axiom expression:
∃hasPart.InletEnd ⊓ ∃hasPart.OutletEnd ⊓ ∃hasProperty.DifferentNominalPipeSizes
Step 4 — Necessary Parts
—
Step 5 — Process Participation Signature
—
Status: proposed
Axiom mode: —
Updated: 2026-05-06 23:55:45
