Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
diesel engine
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
Diesel engine is defined by its specific combustion mechanism (compression ignition) rather than just its general function. While it shares the general MechanicalEnergyGenerationFunction with other engines, its identity is determined by the constructive differentia: compression ignition of fuel without spark plugs, which distinguishes it from gasoline engines, gas turbines, etc.
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
MechanicalEnergyGenerationFunction → MechanicalEnergyGenerationProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
Like all engines, a diesel engine's identity-giving function is generating mechanical energy. This function is already established in the enriched 'engine' class and should be reused rather than creating a diesel-specific function variant.
▸
Expert review
2
Genus Proximus
✓ done
Engine · 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:
The parent_candidates include 'engine' which is already enriched in our ontology. While ISO 15926 lists both 'INTERNAL COMBUSTION ENGINE' and 'RECIPROCATING PISTON ENGINE' as parents, 'engine' is the most specific enriched superclass available. The definitions consistently identify diesel engines as internal combustion engines, which are a subset of engines generally.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasPart.CompressionIgnitionSystem ⊓ ∃hasPart.FuelInjectionSystem ⊓ ∃hasProcessCharacteristic.CompressionIgnitionProcess
▼
Conditions that distinguish
Diesel Engine
from sibling classes under genus
Engine.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The key differentiating characteristic consistently mentioned across all sources is compression ignition - fuel ignition by heat of compression rather than spark plugs. This requires specific mechanical systems (compression ignition system, fuel injection system) and a specific combustion process characteristic.
▸
Expert review
4
Necessary Parts
✓ done
Piston
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts are essential to the compression ignition mechanism that defines diesel engines, distinguishing them from other engine types
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FuelPortion + PortionOfAir → ExhaustGas
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Diesel engines specifically consume diesel fuel and air, converting chemical energy to mechanical power through compression ignition, while producing exhaust 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 22 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Diesel Engine as
bfo:Quality subclasses.
Each selected property →
:DieselEngineQuality ⊑ bfo:Quality, inheres in :DieselEngine
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Diesel Engine.
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.
