Saved Snapshots
Snapshot #1125 — 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:
∃bearerOf.CondensationFunction
Step 4 — Necessary Parts
Step 5 — Process Participation Signature
Inputs: {'type': 'VaporPortion', 'count': 1, 'constraints': 'saturated or superheated vapor'}, {'type': 'CoolantPortion', 'count': 1, 'constraints': 'lower temperature than vapor saturation temperature'}
Outputs: {'type': 'LiquidPortion', 'count': 1, 'constraints': 'condensed from input vapor'}, {'type': 'CoolantPortion', 'count': 1, 'constraints': 'heated coolant carrying removed latent heat'}
Transformation: latent heat of vaporization removed from vapor causing phase change to liquid
Status: exported
Axiom mode: —
Updated: 2026-06-28 23:22:07
