Saved Snapshots
#1749
2026-09-08 15:58:52
add_generation_path_backfill
#1462
2026-09-08 12:26:49
backfill_source_tier
#1103
2026-08-07 16:45:05
odr022_canonical_names
#934
2026-07-23 20:04:35
genus_normalization_iof_dbwide
#531
2026-06-26 01:31:45
mark_exported
#463
2026-06-26 01:02:28
axiom_mode_fix_genus_fn_equivalence
#227
2026-06-25 01:50:53
manual_validation
Snapshot #1103 — 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:
∃participatesIn.CombustionProcess
Step 4 — Necessary Parts
Step 5 — Process Participation Signature
Inputs: {'type': 'ChemicalFuelPortion', 'count': 1, 'constraints': 'combustible hydrocarbon or alternative fuel'}, {'type': 'AirPortion', 'count': 1, 'constraints': 'oxidizer for combustion'}
Outputs: {'type': 'MechanicalEnergyPortion', 'count': 1, 'constraints': 'rotational or reciprocating motion'}, {'type': 'ExhaustGasPortion', 'count': 1, 'constraints': 'combustion products'}
Transformation: chemical energy from fuel combustion converted to mechanical work with waste heat and exhaust products
Status: exported
Axiom mode: —
Updated: 2026-06-28 23:17:07
