Saved Snapshots
Snapshot #1091 — 2026-08-07 16:45:05
odr022_canonical_names
← 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:
∃hasGeometricProperty.OpenTop ⊓ ∃hasInstallationProperty.PartlyBelowGrade
Step 4 — Necessary Parts
Step 5 — Process Participation Signature
Inputs: {'type': 'MaterialPortion', 'count': 'variable', 'constraints': 'liquid or solid material to be stored'}
Outputs: {'type': 'MaterialPortion', 'count': 'variable', 'constraints': 'same material, stored and contained'}
Transformation: none - pure storage/containment
Status: exported
Axiom mode: —
Updated: 2026-06-29 12:04:02
