Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
heat transfer plate
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The concept is defined by its physical configuration as a 'plate' used in non-tubular heat exchangers. The identity is given by the structural form (flat plate geometry) rather than by a unique function - it serves the same heat transfer function as tubes in tubular heat exchangers but through a different physical mechanism.
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 function is already established in the ontology as HeatTransferFunction (used by heat exchanger, cooler, condenser, etc.). A heat transfer plate serves the same fundamental function as other heat transfer components - enabling thermal energy transfer between segregated media.
▸
Expert review
2
Genus Proximus
✓ done
MaterialArtifact
▼
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 parent candidate 'PLATE' from ISO 15926 is too generic and not yet enriched in our ontology. A heat transfer plate is a designed artifact that is essentially monolithic (not an assembly of removable subcomponents), making MaterialArtifact the appropriate BFO root. It is a single manufactured component used within heat exchanger assemblies.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.HeatTransferFunction ⊓ ∃participatesIn.MediaSeparationProcess
▼
Conditions that distinguish
Heat Transfer Plate
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures both the functional aspect (heat transfer) and the relational aspect (segregating media). The structural aspect (being a plate) is inherited from the genus concept, while the specific application in non-tubular heat exchangers and media separation distinguishes it from other heat transfer components.
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
A heat transfer plate is described as essentially monolithic - it is a single plate component that functions as the heat transfer surface. The source definition does not identify any necessary subcomponents, and the Known Component Terms only list assemblies of plates (HEAT TRANSFER PLATE PACK), not parts of individual plates. As a fundamental component itself, it has no required internal parts at this level of abstraction.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid + PortionOfFluid → PortionOfFluid + PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature reflects the fundamental heat transfer process: two fluid streams at different temperatures exchange thermal energy through the plate while remaining physically segregated. This matches the ISO 15926 definition emphasizing segregation of two media.
▸
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 Heat Transfer Plate.
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.
