Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
gas turbine
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Gas turbines are primarily defined by their function of converting thermal energy from fuel combustion into mechanical rotational energy through turbomachinery principles. While they have a specific constructive mechanism (compressor-combustor-turbine arrangement), the functional identity as a power generation/mechanical drive device is what distinguishes them from other equipment types.
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
⚠ not anchored
TurbomachineryPowerGenerationFunction → TurbomachineryPowerGenerationProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
Gas turbines are fundamentally defined by their function to generate mechanical power through the turbomachinery process of air compression, fuel combustion, and thermal expansion through a turbine section. This distinguishes them from other power generation equipment like reciprocating engines (internal combustion cycles) or steam turbines (external steam cycles).
▸
Expert review
2
Genus Proximus
✓ done
Turbine · 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:
Based on the parent_candidates from ISO 15926, 'TURBINE' is the most specific appropriate superclass. Gas turbines are a subtype of turbine that uses gas as the working fluid. The broader 'Rotating Equipment' category is too general. Turbine represents the appropriate level of ontological specificity as the immediate superclass that captures the turbomachinery nature while allowing differentiation from steam turbines, hydraulic turbines, etc.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.Compressor ⊓ ∃hasComponentPartAtAllTimes.CombustionChamber ⊓ ∃participatesIn.AirCompressionProcess ⊓ ∃participatesIn.FuelCombustionProcess
▼
Conditions that distinguish
Gas Turbine
from sibling classes under genus
Turbine.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures what makes a gas turbine unique among turbines: the integration of compression and combustion within the turbine system itself. The compressor pressurizes ambient air, fuel is added and combusted, and the hot gases expand through the turbine section. This integrated thermodynamic cycle distinguishes gas turbines from external combustion turbines like steam turbines.
▸
Expert review
4
Necessary Parts
✓ done
TurbineSection
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts represent the essential components that every gas turbine must possess to function: air compression, fuel combustion, thermal expansion, and power transmission capabilities.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfAir + FuelPortion → ExhaustGas
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Gas turbines take ambient air and fuel as inputs, combust them to create high-energy gases, then extract mechanical work as the gases expand through the turbine section while exhausting spent gases.
▸
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 61 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Gas Turbine as
bfo:Quality subclasses.
Each selected property →
:GasTurbineQuality ⊑ bfo:Quality, inheres in :GasTurbine
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Gas Turbine.
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.
