Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
input 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 configuration as a rotating shaft that receives mechanical energy input, not primarily by a unique function. The identity is given by the structural role of being the mechanical energy entrance point in a power transmission system.
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:
The generic function of a shaft is power transmission - converting and transmitting mechanical energy through rotation. While this input shaft has the specific role of being the entrance point, it shares the fundamental power transmission function with all shafts.
▸
Expert review
2
Genus Proximus
✓ done
Shaft · 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 definition explicitly states this is a subtype of SHAFT. While Shaft is not yet enriched in our ontology, it is the most specific appropriate superclass. Shaft would ultimately fall under Assembly as it is a mechanical component that transmits power through connected parts.
▸
Expert review
3
Differentia Specifica
✓ done
∃participatesIn.MechanicalEnergyReceptionProcess ⊓ ∃connectedTo.ExternalEnergySource
▼
Conditions that distinguish
Input Shaft
from sibling classes under genus
Shaft.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures the specific role as energy entrance point and connection to external energy source, which distinguishes it from other shaft types that may transmit power internally or deliver power as outputs.
▸
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 are available in the known component terms list, and the source definition does not specify internal parts beyond the basic shaft structure inherited from the genus. The specific internal components of an input shaft would vary by application and implementation.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature reflects the shaft's role as the mechanical energy entrance point - receiving rotational power from an external source and transmitting it onwards. This grounds disjointness from other equipment that processes different energy types or performs different transformations.
▸
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 Input 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.
