Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
plate heat exchanger
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The identity of a plate heat exchanger is defined by its physical configuration — the use of metal plates as the heat transfer medium — rather than by any unique function. All heat exchangers share the same basic function (heat transfer), but are distinguished by their internal mechanisms and geometries.
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:
All heat exchangers are designed to transfer thermal energy between fluid streams. This is the generic function shared by all heat exchanger types, not a distinguishing function for plate heat exchangers specifically.
▸
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:
From the parent candidates, 'heat exchanger' (cfihos) and 'NON-TUBULAR HEAT EXCHANGER' (iso15926) are most specific. HeatExchanger is the appropriate genus as it captures the functional identity while being more specific than Assembly. A heat exchanger is an Assembly because it has causally unified subcomponents (plates, frames, gaskets, connections) that are physically connected and maintainable as a single unit.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.HeatTransferPlate
▼
Conditions that distinguish
Plate 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 defining structural characteristic is the presence of heat transfer plates. All definitions emphasize plates as the distinguishing physical feature that separates fluids and enables heat transfer, differentiating from other heat exchanger configurations.
▸
Expert review
4
Necessary Parts
✓ done
HeatTransferPlate
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These are the minimal essential components that every plate heat exchanger must possess. Sealing elements (gaskets, welds, brazing) vary by subtype and should be modeled at the subtype level.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Signature of indirect contact heat transfer: two separate fluid streams enter at different temperatures, exchange thermal energy through the plate surfaces, and exit with adjusted temperatures while maintaining physical separation.
▸
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 40 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Plate Heat Exchanger as
bfo:Quality subclasses.
Each selected property →
:PlateHeatExchangerQuality ⊑ bfo:Quality, inheres in :PlateHeatExchanger
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Plate 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.
Source Definitions (3)
PLATE HEAT EXCHANGER — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
plate heat exchanger — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Plate Heat Exchanger — Class
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (3)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
Linked competency questions
- answered Which equipment classes in COPI use necessary-only (primitive) conditions?
- answered What distinguishes a plate heat exchanger from a shell-and-tube heat exchanger?
- answered What is the genus of a plate heat exchanger?
- answered What process does a heat exchanger participate in?
- open What is a heat transfer plate?
- open Is a heat transfer plate a necessary component of every plate heat exchanger?
OWL/Turtle preview
Download .ttl
Numeric
COPI_* IRIs from copi-iri-map.tsv, with the readable name as a trailing comment. Names not yet in the map stay readable.
Loading...
ID 52 · claude-sonnet-4-20250514
Created 2026-04-13 22:16
Updated 2026-09-08 12:26
