Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
centrifugal compressor
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The definitions emphasize the centrifugal mechanism (radial flow through impellers, centrifugal action) as the identifying characteristic, rather than a unique function. Centrifugal compressors share the same CompressionFunction as other compressor types but are distinguished by their specific internal mechanism and flow pattern.
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
CompressionFunction → CompressionProcess ⊑ MomentumTransfer
▼
COPI-Core operation
MomentumTransfer via process parent MomentumTransfer
LLM rationale:
Reusing the existing CompressionFunction from the enriched compressor class. All compressor types share this identity-giving function of increasing gas pressure through mechanical work.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
Compressor · 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 parent_candidates, Compressor is the most specific and appropriate superclass. It is already enriched in our ontology with CompressionFunction and Assembly root. Centrifugal compressor is clearly a subtype of compressor distinguished by mechanism, not function.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.CentrifugalImpeller ⊓ ∃participatesIn.RadialFlowPattern
▼
Conditions that distinguish
Centrifugal Compressor
from sibling classes under genus
Compressor.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures the two essential distinguishing features from all definitions: (1) the physical mechanism of centrifugal impellers, and (2) the radial flow pattern through these impellers. This distinguishes centrifugal compressors from all other compressor types while being minimal and non-redundant with the genus.
▸
Expert review
— accepted
4
Necessary Parts
✓ done
CentrifugalCompressorCasing
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These three parts are essential for any centrifugal compressor to function: impellers for acceleration, casing for containment and flow guidance, and shaft for rotation.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfGas → PortionOfGas
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Single gas stream input/output with pressure increase through mechanical work - consistent with compression function signature but delivered via centrifugal mechanism.
▸
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 47 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Centrifugal Compressor as
bfo:Quality subclasses.
Each selected property →
:CentrifugalCompressorQuality ⊑ bfo:Quality, inheres in :CentrifugalCompressor
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Centrifugal Compressor.
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.