Saved Snapshots
Snapshot #454 — 2026-06-25 17:35:20
manual_validation_bugfix_unsat
← Back to current
Step 1 — Identity-Giving Function
Function class: —
Process class: —
Step 2 — Genus Proximus
Genus: Filter
BFO root: Assembly
Step 3 — Differentia Specifica
Axiom expression:
∃hasComponentPartAtAllTimes.ReplaceableFilterMedium ⊓ ∃bearerOf.CartridgeGeometryProperty
Step 4 — Necessary Parts
- ReplaceableFilterMedium
- CartridgeHousing
Step 5 — Process Participation Signature
—
Status: validated
Axiom mode: —
Updated: 2026-06-25 01:50:53
