Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
brake
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is primarily defined by its identity-giving function to arrest or prevent motion through force application (typically friction). While specific brake types may have constructive differentia (disc, drum, electromagnetic mechanisms), the core concept is unified by the braking function regardless of physical implementation.
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
BrakingFunction → BrakingProcess
▼
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 the capability to arrest or prevent motion of an item, as consistently described across all sources. This distinguishes brakes from other motion control devices like clutches (which engage motion) or governors (which regulate speed).
▸
Expert review
2
Genus Proximus
✓ done
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:
No domain-specific superclass is available in the parent candidates or enriched classes. A brake is a causally unified engineered artifact with physically connected components (friction pads, actuators, mounting hardware) that can be assembled/disassembled for maintenance. This fits Assembly better than MaterialArtifact since brakes typically have removable subcomponents.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.BrakingFunction
▼
Conditions that distinguish
Brake
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The braking function is the minimal and sufficient differentiating condition. All sources emphasize motion arrest/prevention as the defining characteristic, distinguishing brakes from other mechanical control devices.
▸
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:
These are the minimal universal parts - specific brake types will have more detailed components like brake drums, discs, or electromagnetic assemblies.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
MovingObject → RestrictedObject
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Brakes transform the motion state of an object by dissipating kinetic energy, typically through friction heating or electromagnetic field interaction.
▸
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 Brake.
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.
