Saved Snapshots
#1929
2026-09-08 17:53:12
semiformal_fol_axiom_fix
#1830
2026-09-08 15:58:52
add_generation_path_backfill
#1543
2026-09-08 12:26:49
backfill_source_tier
#1180
2026-08-07 16:45:05
odr022_canonical_names
#972
2026-07-23 20:04:35
genus_normalization_iof_dbwide
#595
2026-06-26 01:31:45
mark_exported
#290
2026-06-25 01:50:53
manual_validation
Snapshot #1929 — 2026-09-08 17:53:12
semiformal_fol_axiom_fix
← Back to current
Step 1 — Identity-Giving Function
Function class: FluidConductionFunction
Process class: FluidConductionProcess
Step 2 — Genus Proximus
Genus: Pipe
BFO root: MaterialArtifact
Step 3 — Differentia Specifica
Axiom expression:
∃hasPartAtAllTimes.BranchPort ⊓ ∃hasPartAtAllTimes.RunPort ⊓ ∃hasPartAtAllTimes.RunPort
Step 4 — Necessary Parts
- BranchPort
Step 5 — Process Participation Signature
Inputs: {'type': 'PortionOfFluid', 'count': '1-2', 'constraints': 'can enter through run port(s) or branch port'}
Outputs: {'type': 'PortionOfFluid', 'count': '1-2', 'constraints': 'exits through remaining port(s) - combining or dividing flow'}
Transformation: flow division or flow combining - no phase change or chemical transformation
Status: exported
Axiom mode: necessary
Updated: 2026-09-08 12:26:49
