Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
blower
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined primarily by its function - 'blowing', 'compressing and supplying air or gas'. The physical implementation (axial, centrifugal impeller) varies by subtype but the core identity is given by the air/gas compression and supply function.
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
CompressionFunction → CompressionProcess ⊑ MomentumTransfer
▼
COPI-Core operation
MomentumTransfer via process parent MomentumTransfer
LLM rationale:
The identity-giving function is compression - all definitions specify 'compress and supply' or 'blowing' which involves pressurizing gas. This is the same CompressionFunction that defines compressors in general, as blowers are a specific type of compressor for medium pressure applications.
▸
Expert review
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:
Blower is a specific type of compressor distinguished by operating at medium pressure and medium volume flow. The enriched 'compressor' class already exists with CompressionFunction. Among parent candidates, 'compressor' is the most specific appropriate superclass that captures the compression identity.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasOperatingParameter.MediumPressureRange ⊓ ∃hasOperatingParameter.MediumVolumeFlowRange
▼
Conditions that distinguish
Blower
from sibling classes under genus
Compressor.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the medium pressure and medium volume flow operating range explicitly stated in CFIHOS and POSC definitions. This distinguishes blowers from fans (low pressure, high volume) and turbo/reciprocating compressors (high pressure, lower volume).
▸
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:
These are the universal components needed for any blower to realize its compression function, regardless of specific design (axial, centrifugal, etc.)
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfGas → PortionOfGas
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Blowers take low-pressure gas and deliver it at medium pressure with medium volume flow, distinguishing them from fans (low pressure rise) and high-pressure compressors
▸
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 37 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Blower as
bfo:Quality subclasses.
Each selected property →
:BlowerQuality ⊑ bfo:Quality, inheres in :Blower
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Blower.
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.