Saved Snapshots
#2087
2026-09-24 18:22:26
copyright_review
#1852
2026-09-08 15:58:52
add_generation_path_backfill
#1565
2026-09-08 12:26:49
backfill_source_tier
#977
2026-07-23 20:04:35
genus_normalization_iof_dbwide
#876
2026-07-12T15:00:33
odr020_migration
#607
2026-06-26 01:31:45
mark_exported
#321
2026-06-25 01:50:53
manual_validation
Snapshot #2087 — 2026-09-24 18:22:26
copyright_review
← Back to current
Step 1 — Identity-Giving Function
Function class: ActuationFunction
Process class: ActuationProcess
Step 2 — Genus Proximus
Genus: ElectricActuator
BFO root: Assembly
Step 3 — Differentia Specifica
Axiom expression:
∃hasComponentPartAtAllTimes.Solenoid ⊓ ∃hasComponentPartAtAllTimes.Plunger
Step 4 — Necessary Parts
- None
- None
Step 5 — Process Participation Signature
Inputs: —
Outputs: —
Transformation: electrical energy converted to electromagnetic force that drives a plunger in linear axial motion
Status: exported
Axiom mode: necessary
Updated: 2026-09-08 12:26:49
