Saved Snapshots
#2085
2026-09-24 18:22:26
copyright_review
#2028
2026-09-14 17:11:38
model_participant_skill
#2013
2026-09-14 17:10:54
model_participant_skill
#1792
2026-09-08 15:58:52
add_generation_path_backfill
#1505
2026-09-08 12:26:49
backfill_source_tier
#1145
2026-08-07 16:45:05
odr022_canonical_names
#786
2026-06-28 22:31:03
manual_validation
#420
2026-06-25 03:36:36
mark_exported
Snapshot #2085 — 2026-09-24 18:22:26
copyright_review
← Back to current
Step 1 — Identity-Giving Function
Function class: TemperatureSensorProtectionFunction
Process class: TemperatureSensorProtectionProcess
Step 2 — Genus Proximus
Genus: Instrument
BFO root: MaterialArtifact
Step 3 — Differentia Specifica
Axiom expression:
∃hasPart.PressureTightReceptacle ⊓ ∃hasPart.ProcessConnection ⊓ ∃designedFor.TemperatureElement
Step 4 — Necessary Parts
Step 5 — Process Participation Signature
Inputs: {'type': 'TemperatureElement', 'count': 1, 'constraints': 'compatible with receptacle dimensions'}
Outputs: {'type': 'TemperatureElement', 'count': 1, 'constraints': 'isolated from process pressure'}
Transformation: physical protection and pressure isolation of temperature sensor
Status: exported
Axiom mode: necessary
Updated: 2026-09-14T14:11:38.782369
