Saved Snapshots
Snapshot #450 — 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: FiatObjectPart
BFO root: FiatObjectPart
Step 3 — Differentia Specifica
Axiom expression:
∃partOf.Vessel ⊓ ∃hasFunction.PressureContainmentFunction
Step 4 — Necessary Parts
- None
Step 5 — Process Participation Signature
—
Status: validated
Axiom mode: —
Updated: 2026-06-25 01:50:53
