Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
shell and tube heat exchanger
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
This concept is defined by its specific physical configuration (tube bundle surrounded by a shell) rather than by a unique function. All shell and tube heat exchangers share the generic HeatTransferFunction with other heat exchanger types, but are distinguished by their constructive differentia - the shell-and-tube geometry.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
Axiomatization steps
1
Identity-Giving Function
✓ done
HeatTransferFunction → HeatTransferProcess ⊑ HeatTransfer
▼
COPI-Core operation
HeatTransfer via process parent PlannedProcess
LLM rationale:
The identity-giving function is heat transfer between fluid streams, which is shared with all heat exchangers. This is the fundamental purpose that makes any device a heat exchanger, regardless of its internal construction.
▸
Expert review
2
Genus Proximus
✓ done
HeatExchanger · 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:
The genus is 'heat exchanger' as explicitly stated in all source definitions ('A tubular heat exchanger...'). This is the most specific appropriate superclass and is already enriched in our ontology. Heat exchanger is itself an Assembly with HeatTransferFunction. The parent candidates support this with 'TUBULAR HEAT EXCHANGER' being a subtype of heat exchanger.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.TubeBundle ⊓ ∃hasComponentPartAtAllTimes.Shell ⊓ ∃spatiallyContains.(TubeBundle ⊓ ∃spatiallyContainedIn.Shell)
▼
Conditions that distinguish
Shell And Tube Heat Exchanger
from sibling classes under genus
HeatExchanger.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures the essential constructive feature that distinguishes shell and tube heat exchangers from other heat exchanger types: the specific geometric arrangement where a bundle of tubes is enclosed within a shell. This configuration enables the characteristic two-sided heat exchange (tube side vs shell side) mentioned in the standard properties.
▸
Expert review
4
Necessary Parts
✓ done
VesselShell, TubeBundle
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts directly correspond to the definitional elements in all standards: 'tube bundle' and 'shell' are explicitly mentioned as the defining structural components.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Shell and tube heat exchangers have a characteristic two-stream signature: one fluid flows through tubes, another through the shell space around tubes, enabling heat exchange without direct contact. This matches the standard properties that specify separate tube side and shell side operating conditions.
▸
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
0 of 46 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Shell And Tube Heat Exchanger as
bfo:Quality subclasses.
Each selected property →
:ShellAndTubeHeatExchangerQuality ⊑ bfo:Quality, inheres in :ShellAndTubeHeatExchanger
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Shell And Tube Heat Exchanger.
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.