Saved Snapshots
#1709
2026-09-08 15:58:52
add_generation_path_backfill
#1422
2026-09-08 12:26:48
backfill_source_tier
#1244
2026-08-13 12:46:39
odr022_equivalent_subsumption
#1071
2026-08-07 16:45:05
odr022_canonical_names
#925
2026-07-23 20:04:35
genus_normalization_iof_dbwide
#813
2026-06-29 12:03:58
axiom_mode_fix_equivalent_pairs
#495
2026-06-26 01:31:45
mark_exported
#199
2026-06-25 01:50:53
manual_validation
Snapshot #1071 — 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:
∃hasComponentPartAtAllTimes.Tower ⊓ ∃participatesIn.ConvectiveAirCirculationProcess
Step 4 — Necessary Parts
Step 5 — Process Participation Signature
Inputs: {'type': 'LiquidPortion', 'count': 1, 'constraints': 'warm process fluid, typically water'}, {'type': 'GasPortion', 'count': 1, 'constraints': 'ambient air at atmospheric conditions'}
Outputs: {'type': 'LiquidPortion', 'count': 1, 'constraints': 'cooled process fluid'}, {'type': 'GasPortion', 'count': 1, 'constraints': 'heated air, may contain water vapor'}
Transformation: heat transfer from process fluid to ambient air through convective circulation
Status: exported
Axiom mode: —
Updated: 2026-06-29 12:04:02
