Saved Snapshots
#2027
2026-09-14 17:11:00
model_participant_skill
#1922
2026-09-08 17:07:22
fol_axiom_completeness_fix
#1921
2026-09-08 16:52:21
semiformal_axiom_completeness_fix
#1920
2026-09-08 16:49:09
semiformal_axiom_style_fix
#1919
2026-09-08 16:22:16
skill_step2b_correction
#1918
2026-09-08 16:21:53
skill_step2b_correction
#1917
2026-09-08 16:21:27
skill_step2b_correction
Snapshot #1919 — 2026-09-08 16:22:16
skill_step2b_correction
← Back to current
Step 1 — Identity-Giving Function
Function class: PortableStorageFunction
Process class: PortableStorageProcess
Step 2 — Genus Proximus
Genus: Vessel
BFO root: Assembly
Step 3 — Differentia Specifica
Axiom expression:
∃bearerOf.PortableStorageFunction
Step 4 — Necessary Parts
Step 5 — Process Participation Signature
Inputs: {'type': 'LiquidPortion', 'count': 1, 'constraints': 'a wide range of liquids including chemicals for oil and gas processes, drilling processes, waste liquids, and aviation fuel (ISO 15926)'}
Outputs: {'type': 'LiquidPortion', 'count': 1, 'constraints': 'the same liquid portion, composition and phase unchanged, discharged after storage and/or transport'}
Transformation: a portion of liquid is contained and physically relocated between locations without change in composition or phase
Status: proposed
Axiom mode: equivalent
Updated: 2026-09-08 16:06:20
