Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
fan
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
All three source definitions consistently define a fan by its function: 'delivering or exhausting volumes of vapour or gas at low differential pressure'. The identity is given by the designed function, not by specific internal mechanisms like axial vs radial impellers.
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
GasMovementFunction → GasMovementProcess ⊑ MomentumTransfer
▼
COPI-Core operation
MomentumTransfer via process parent MomentumTransfer
LLM rationale:
The identity-giving function is moving gas/vapor volumes at low differential pressure. This distinguishes fans from compressors (high pressure) and from pumps (liquids). All definitions converge on this low-pressure gas movement capability.
▸
Expert review
2
Genus Proximus
✓ done
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:
No domain-specific superclass like 'GasMovementEquipment' exists in the parent_candidates or enriched classes. Fans are causally unified rotating machinery with removable subcomponents (impeller, housing, motor, bearings) that can be assembled/disassembled while maintaining single-unit identity for maintenance purposes.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.GasMovementFunction
▼
Conditions that distinguish
Fan
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the gas movement function specifically at low differential pressure. This is both necessary (all fans must have this function) and sufficient (any assembly with this function is by definition a fan).
▸
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 three components are universal across all fan types - axial, radial, centrifugal all require an impeller, housing, and shaft. Drive mechanism varies (electric motor, engine, etc.) so not included at this level.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfGas → PortionOfGas
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Fans take in gas at one location and discharge it at another with added energy but characteristically low pressure rise, distinguishing from 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 29 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Fan as
bfo:Quality subclasses.
Each selected property →
:FanQuality ⊑ bfo:Quality, inheres in :Fan
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Fan.
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.