Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
bearing
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined by its intended function to support and locate moving or static elements, with friction reduction being a key aspect. While bearings have varied structural mechanisms (ball, roller, magnetic, sleeve), their identity is given by the SupportFunction they are designed to realize.
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
SupportFunction → SupportingProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The identity-giving function is to support and locate mechanical elements, which is a specific type of mechanical support that enables relative motion while maintaining positional control and reducing friction
▸
Expert review
2
Genus Proximus
✓ done
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:
While ISO 15926 suggests SUPPORT as a parent, this is not available in our enriched classes. CFIHOS places it under 'other mechanical equipment' which is too vague. Bearings are typically monolithic or simple assemblies that function as single causally unified artifacts designed for support, fitting MaterialArtifact. They lack the complex assembly structure that would require Assembly classification.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.SupportFunction ⊓ ∃participatesIn.FrictionReductionProcess
▼
Conditions that distinguish
Bearing
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The SupportFunction is the core identity-giving function inherited from the genus level. The participation in friction reduction processes is what distinguishes bearings from other support components like brackets or foundations.
▸
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:
The supporting surface is the minimal essential part common to all bearing types. Specific subtypes will have additional parts (balls, rollers, races, bushings, magnetic elements) but the supporting interface is universal.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → MechanicalSupport
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Bearings receive mechanical loads and transform them into controlled, low-friction support that enables or constrains relative motion between mechanical elements
▸
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 Bearing.
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.
