Saved Snapshots
#2095
2026-09-24 18:22:26
copyright_review
#1843
2026-09-08 15:58:52
add_generation_path_backfill
#1556
2026-09-08 12:26:49
backfill_source_tier
#1192
2026-08-07 16:45:05
odr022_canonical_names
#913
2026-07-23 19:35:03
genus_normalization_iof
#874
2026-07-12T15:00:33
odr020_migration
#427
2026-06-25 03:36:36
mark_exported
Snapshot #2095 — 2026-09-24 18:22:26
copyright_review
← Back to current
Step 1 — Identity-Giving Function
Function class: TemperatureIndicationFunction
Process class: TemperatureIndicationProcess
Step 2 — Genus Proximus
Genus: Indicator
BFO root: Assembly
Step 3 — Differentia Specifica
Axiom expression:
∃hasInput.Temperature ⊓ ∃hasOutput.TemperatureMeasurementResult
Step 4 — Necessary Parts
Step 5 — Process Participation Signature
Inputs: —
Outputs: {'type': 'TemperatureMeasurementResult', 'count': 1, 'constraints': 'visual indication readable by operator at instrument location'}
Transformation: temperature sensing and local indication without remote signal generation
Status: exported
Axiom mode: equivalent
Updated: 2026-09-08 12:26:49
