Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
shaker
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The term 'shaker' is defined by its capability of performing a 'shaking' function. While the drilling equipment context (shale shaker) involves vibrating screens as mechanisms, the generic 'shaker' concept is primarily functional - anything that performs shaking/vibrating motion to achieve separation or agitation.
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
ShakingFunction → ShakingProcess ⊑ MechanicalSeparation
▼
COPI-Core operation
MechanicalSeparation via process parent MechanicalSeparation
LLM rationale:
The identity-giving function is the capability of shaking - creating vibrating or oscillating motion. This is what distinguishes a shaker from other equipment types. The shaking motion is typically used for separation, agitation, or material handling purposes.
▸
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 specific equipment superclass exists in the parent_candidates. A shaker is a mechanical device with multiple physically connected components (motor, vibrating mechanism, screen/container) that work together as a single causally unified unit. It fits the Assembly pattern as it has removable subcomponents but maintains a single causal boundary for maintenance purposes.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ShakingFunction
▼
Conditions that distinguish
Shaker
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The shaking function is the minimal differentia that distinguishes shakers from all other assemblies. This captures both separation shakers (like shale shakers) and other vibrational equipment under the same functional umbrella.
▸
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:
All shakers require a vibration source and a shaking element. Specific implementations vary (screens for separation, tables for compaction, etc.) but these core components are universal.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
MaterialEntity → MaterialEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Shakers take material inputs and apply vibrational energy. Output may be the same material in agitated state or separated into multiple fractions (as in shale shakers separating cuttings from mud).
▸
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 Shaker.
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.
