Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
output shaft
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The concept is defined by its physical role as 'the exit of mechanical energy' - a structural/positional characteristic within a mechanical system rather than by a unique designed function. The differentia is its position and directional role in power transmission, not a distinct 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
⚠ not anchored
PowerTransmissionFunction → PowerTransmissionProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
While PowerTransmissionFunction already exists in the ontology (gearbox uses it), output shafts share this same fundamental function - they transmit mechanical power. The differentia for output shaft is not functional but positional/directional (being the exit point rather than having a unique transmission mechanism).
▸
Expert review
2
Genus Proximus
✓ done
Shaft · MaterialArtifact
▼
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 ISO 15926 definition explicitly states 'An <OUTPUT SHAFT> is a <SHAFT>' making Shaft the direct genus. No parent_candidates were provided, but Shaft is the obvious superclass. A shaft is a single mechanical component (not an assembly of removable parts), making it a MaterialArtifact rather than an Assembly.
▸
Expert review
3
Differentia Specifica
✓ done
∃participatesIn.MechanicalEnergyOutputProcess
▼
Conditions that distinguish
Output Shaft
from sibling classes under genus
Shaft.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The key differentia is the directional role as energy exit point. The ISO definition emphasizes 'exit of mechanical energy and driver of an external energy consumer' - this is a process participation role, not a structural feature.
▸
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:
No component terms were provided in the Known Component Terms list, and the ISO definition does not specify internal parts. Shafts can have various features (keyways, splines, bearings seats) but these vary by application and are not universal to all output shafts.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Output shafts receive mechanical power from internal components (engines, motors, gearboxes) and transmit it to external loads. The transformation is pure transmission without modification of the energy form.
▸
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
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Output Shaft.
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.
