Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
storage tank
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Storage tank is defined by its primary function to store fluids/materials for extended periods, regardless of specific structural configuration. The identity comes from the storage purpose, not from whether it has a cone roof, flat bottom, or specific geometry.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
— accepted
Axiomatization steps
1
Identity-Giving Function
✓ done
StorageFunction → StorageProcess ⊑ MaterialContainment
▼
COPI-Core operation
MaterialContainment via process parent MaterialContainment
LLM rationale:
Storage is the identity-giving function that distinguishes storage tanks from other tank types like reaction tanks, mixing tanks, or separation vessels. This function is already used in the enriched 'tank' class, confirming its appropriateness for this subtype.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
Vessel · Assembly
▼
Genus (genus proximum)
Most specific superclass — may be a domain class like "Valve" or an IOF-Core root.
BFO/IOF-Core Root
bfo:Object branch
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
Tank is the most specific appropriate superclass from the parent_candidates list and is already enriched in our ontology (function: StorageFunction, genus: Vessel). Storage tank is a specialized type of tank with additional constraints on duration and purpose of containment.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.ExtendedStorageFunction
▼
Conditions that distinguish
Storage Tank
from sibling classes under genus
Vessel.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia focuses on the extended duration and passive nature of storage, distinguishing from tanks used for active processing. ExtendedStorageFunction is a subtype of StorageFunction that emphasizes long-term retention without transformation.
▸
Expert review
— accepted
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
Storage tanks have specialized structural requirements for long-term service that differ from process tanks, including enhanced corrosion protection and foundation interfaces.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Storage tanks maintain material composition while providing long-term containment, unlike process vessels that actively transform contents.
▸
Expert review
More
Alternative labels
none
▼
Synonyms / alternative labels (comma-separated) — skos:altLabel
Language auto-detected on export (PT if the label contains accents, EN otherwise).
Properties as BFO qualities
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Storage Tank.
Write the restriction block in Turtle syntax (without the leading
rdfs:subClassOf).
Example: [ owl:onProperty :hasPart ; owl:someValuesFrom :Wellhead ]
Cross-standard divergences
none detected yet
▼
Click "Detect divergences" to analyse cross-standard disagreements for this cluster.
