Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
gear wheel
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 structure (toothed wheel geometry) rather than by a specific designed function. It can serve multiple functions (power transmission, motion transmission, speed reduction/increase) depending on its deployment context.
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 the ISO 15926 definition emphasizes motion transmission, gear wheels are fundamentally designed to transmit mechanical power between shafts through toothed engagement. However, this is the generic function shared by all power transmission components - the differentia for gear wheel comes from its specific toothed construction.
▸
Expert review
2
Genus Proximus
✓ done
Gearbox · 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 source lists 'gearbox' as an already-enriched class with PowerTransmissionFunction. A gear wheel is a component part of gearboxes and gear systems, but examining the BFO structure more carefully, a single gear wheel is a causally unified artifact (one Object) rather than an aggregate system. The more appropriate genus is actually Assembly - a gear wheel has removable parts (teeth, hub, bore) but forms one causally unified transmission component.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.Tooth ⊓ ∃hasComponentPartAtAllTimes.WheelBody
▼
Conditions that distinguish
Gear Wheel
from sibling classes under genus
Gearbox.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The toothed structure is the essential differentia - it enables positive engagement transmission that distinguishes gear wheels from other power transmission components. The teeth and wheel body are the minimal necessary structural elements.
▸
Expert review
4
Necessary Parts
✓ done
None, None
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
A gear wheel necessarily consists of circumferential teeth for engagement and a central body structure, but the Known Component Terms list contains no component terms for this equipment type, so specific part names cannot be provided.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Gear wheels fundamentally transform mechanical power input to mechanical power output through toothed engagement, which is the canonical mechanical power transmission transformation. The speed/torque modification is a secondary characteristic that depends on the gear ratio.
▸
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 Gear Wheel.
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.
